Home
This is my personal web site.
These are some things I've written about:
Posts
- Conference Talk, EuroBSDCon 2023, Coimbra - September 16, 2023
- Intrinsically Typed ASTs - December 12, 2022
- PureShell… First Light - June 27, 2022
- Graded Monads - December 19, 2021
- Basic Rewriting - December 10, 2020
…or you can find more in the archives.