This website is out of date, please refer to the site on github.

Home

Welcome to my outdated blog.

This was a personal blog. I leave these posts around to preserve links

Please refer to jozefg.github.io for a more recent page.

Recent Posts

And many more

Tags

agda (3), c (2), compilers (7), coq (1), go (1), haskell (46), jonprl (3), math (2), meta (1), notes (4), opinions (4), personal (2), sml (5), teaching (1), twelf (4), types (37)