A reminder for myself on how to fix a bug, until I can figure out how to get this fixed upstream.

Notes for a talk I gave on constructivism

Slides for a talk I gave explaining Git.

Slides for a seminar I gave as part of my thesis defence.

I implemented natural deduction in Agda and presented this at a mini-workshop (CID) at the University of Canterbury on March 4th, 2019.

A talk I gave at CCC 2018.

Slides for my Thesis in Three presentations on minimal logic.

Abstract

Slides for a seminar I gave at Swansea University and the University of Padua.

Slides for a talk I gave for my doctoral confirmation.

Slides for a talk I gave on reverse mathematics over minimal logic.

Many code snippets I write are available at gist.lsw.nz. Some snippets are very useful to me, and are (I believe) nicely written. Others are just amusing, should not be used for any practical purposes. Proceed with caution.

These instructions are very bare, and intended only for my own use.

I have written a template for latex. Its primary feature is the included Makefile, which enables easy compilation, recompilation for fixing references, and compatibility with bibtex. It also features the capability of compiling a document as a draft purely through the command-line. This is completely customisable; by default it turns on todonotes, showlabels, and shows the relevant git commit information.

Slides for the summer project I did on Frege’s Grundgesetze.

The report for my honours project.

Added my dotfiles repo here.