My dotfiles


Sampling of the scripts I use to make my life <adjective>


A TUI for local play of the game of Tak


My cv programmed in and typeset using XeLaTeX


A formalisation of the logical equivalence of the Yoneda lemma and dependent path induciton


A derivation of function extensionality from the univalence axiom formalised in Agda


A smattering of poor thoughts on keyboard layouts


Small public-key verification tool