About

I write about programming languages, type theory, and proof assistants — mostly through the lens of OCaml and Lean.

This blog is built with Quarto and published from its source.