TypeFunc

Archived page

This page is kept for reference and its original URL still works, but it is not part of the current site and is no longer maintained. Dates and links reflect when it was written.

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.