HomeBlogTILProjectsReadingBlogMaybe in λ-calculusRead along as I implement the Maybe type and some useful functions for working on Maybe values in λ-calculus.Tau posted on 2023-04-09
Read along as I implement the Maybe type and some useful functions for working on Maybe values in λ-calculus.