Blog
Meet My Middle Names
I describe my middle names as individual people to help me focus on the positives of changing my legal name.
Maybe in λ-calculus
Read along as I implement the Maybe type and some useful functions for working on Maybe values in λ-calculus.