category-theory
an archive of posts with this tag
| Jun 16, 2025 | Part 1: Defining the Free Monad in Lean |
|---|---|
| May 21, 2025 | The Free Monad: A Four-Part Series |
an archive of posts with this tag
| Jun 16, 2025 | Part 1: Defining the Free Monad in Lean |
|---|---|
| May 21, 2025 | The Free Monad: A Four-Part Series |