Tanner
Duve
Toggle navigation
about
Blog
Bookshelf
Lean
Coursework
Talks
ctrl k
Free-Monads
an archive of posts in this category
Jun 16, 2025
Part 1: Defining the Free Monad in Lean
May 21, 2025
The Free Monad