Skip to content
Home
Blog
TIL
Wiki
Blog
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.