/TypeFunc

Resources for type theory, functional programming, etc.

No issues in this repository yet.