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 (5), coq (1), go (1), haskell (40), math (2), meta (1), notes (4), opinions (4), personal (2), sml (3), teaching (1), twelf (2), types (29)