Tanner
Duve
Toggle navigation
about
Blog
Bookshelf
Lean
Coursework
Talks
ctrl k
Monads
an archive of posts in this category
Jun 16, 2025
Part 2: Universal Morphisms and Effect Handlers