Are you happy with your logging solution? Would you help us out by taking a 30-second survey? Click here


Resources for type theory, functional programming, etc.

Subscribe to updates I use TypeFunc

Statistics on TypeFunc

Number of watchers on Github 130
Number of open issues 0
Main language Agda
Open pull requests 0+
Closed pull requests 0+
Last commit over 2 years ago
Repo Created almost 6 years ago
Repo Last Updated over 1 year ago
Size 18.8 MB
Organization / Authorwilliamdemeo
Page Updated
Do you use TypeFunc? Leave a review!
View TypeFunc activity
View on github
Fresh, new opensource launches πŸš€πŸš€πŸš€
Trendy new open source projects in your inbox! View examples

Subscribe to our mailing list

Evaluating TypeFunc for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)


This repository collects some links and resources for learning about type theory, functional programming, and related subjects.

Books and Papers


Programming Books

More Advanced

Recorded Lectures


Programming Languages (in alphabetical order)

Some Related GitHub Repositories


TypeFunc list of languages used
Other projects in Agda