Home
This is my personal web site.
These are some things I've written about:
Posts
- 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.