Programming Notes & Tutorials
Math-flavoured writeups with lemmas, proofs, and exercises.
- Calculator with Functional Parsing — 2025-09-01
- Hello, World (but with Lemmas) — 2025-08-31
- Haskell code example — 2025-08-31
Math-flavoured writeups with lemmas, proofs, and exercises.