lean,
an archive of posts with this tag
| Jun 18, 2025 | Tutorial: A Verified Interpreter with Side Effects |
|---|---|
| Jun 16, 2025 | Part 3: Universal Morphisms and Effect Handlers |
| Jun 16, 2025 | Part 2: Initial Algebras, Catamorphisms, and Interpreters |
an archive of posts with this tag
| Jun 18, 2025 | Tutorial: A Verified Interpreter with Side Effects |
|---|---|
| Jun 16, 2025 | Part 3: Universal Morphisms and Effect Handlers |
| Jun 16, 2025 | Part 2: Initial Algebras, Catamorphisms, and Interpreters |