Resources for type theory, functional programming, etc. - View it on GitHub