Home

Welcome to Code & Co.

This is my personal blog with my thoughts on computer science, juggling, logic, and whatever else interests me. I hope you enjoy it.

Recent Posts

And many more

Tags

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