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 (3), coq (1), go (1), haskell (30), math (2), meta (1), opinions (4), personal (2), teaching (1), types (19)