Blog

2026-02-03 Status Week 5 Documenting the things that I have worked on in the past week.
2023-04-09 Maybe in λ-calculus Read along as I implement the Maybe type and some useful functions for working on Maybe values in λ-calculus.