Blog

2026-06-30Some Blogs I Read
2026-06-28Some Applications of Union Find
2026-06-28Generating the P3 Tiling
2025-11-02Banh Mi On Me
2025-03-28Expression Parsing Made Simple
2024-09-15Minimal Parenthesization of Lambda Terms
2024-09-10Introduction to the OCaml Module System

External

2024-10-15Damas-Hindley-Milner Inference Two Ways