monads
an archive of posts with this tag
| Apr 17, 2026 | Part 2: Lean's `Part` Monad |
|---|---|
| Apr 17, 2026 | Partiality in a Total Type Theory |
an archive of posts with this tag
| Apr 17, 2026 | Part 2: Lean's `Part` Monad |
|---|---|
| Apr 17, 2026 | Partiality in a Total Type Theory |