code

Reading time: less than a minute (43 words).

...where we will collect links to software resources...

This page is currently under development.

The TypeFunc list of resources (about type theory, functional programming, and related subjects) is my most popular github repository.