Natural Deduction in Agda

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

Read More

Gists

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.

Read More

Latex-template

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.

Read More