This website chronicles my folly and ramblings, currently centred in London, where I'm living and working.
A mini-series introduction to lambda calculus, a deep dive into dependent types, and a love letter to Idris.