WJD Open Notebook

I started a GitHub repository called TypeFunc in an effort to get my head around the massive amount of online resources for learning about type theory, functional programming, category theory, $\lambda$-calculus, and connections between topology and computing.

At this point, the TypeFunc repository is mostly a collection of links, but it also includes notes and software resources that I have found helpful.