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 (1), compilers (2), coq (1), go (1), haskell (26), math (2), meta (1), opinions (5), personal (1), teaching (1), types (17)