~tslil

~tslil/dotfiles

My dotfiles

~tslil/scripts

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

~tslil/takwrap

A TUI for local play of the game of Tak

~tslil/cv

My cv programmed in and typeset using XeLaTeX

~tslil/y_and_j

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

~tslil/univalence-to-funext

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

~tslil/keyboard-layouts

A smattering of poor thoughts on keyboard layouts

~tslil/msr

Small public-key verification tool