All blog posts

2021-06-02
Using dependent types to write proofs in Haskell
2019-09-07
Run-length encoding verified in Agda
2019-05-19
An Agda eDSL for well-typed Hilbert style proofs
2018-02-20
ASCII fractals in Haskell