Tanner
Duve
Toggle navigation
about
Blog
Bookshelf
Lean
Coursework
Talks
ctrl k
partial
an archive of posts with this tag
Apr 17, 2026
Part 2: Lean's `Part` Monad