Tanner
Duve
Toggle navigation
About
About
(current)
Blog
Bookshelf
Lean
Coursework
Talks
ctrl k
interpreters
an archive of posts with this tag
Jun 16, 2025
Part 2: Initial Algebras, Catamorphisms, and Interpreters