Home
Welcome! I plan to use this site to do some writing (mainly about typed functional programming) as well as show off some projects.
Welcome! I plan to use this site to do some writing (mainly about typed functional programming) as well as show off some projects.