2025
an archive of posts from this year
| Jun 18, 2025 | Tutorial: A Verified Interpreter |
|---|---|
| Jun 16, 2025 | Part 2: Universal Morphisms and Effect Handlers |
| Jun 16, 2025 | Part 1: Defining the Free Monad in Lean |
| May 21, 2025 | The Free Monad |
| May 21, 2025 | Verified Dynamic Programming with Σ-types in Lean |