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

TypeFunc

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
Contributors1
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 (?)

TypeFunc

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

Books and Papers

Basics/Background

Programming Books

More Advanced


Recorded Lectures


Courses


Programming Languages (in alphabetical order)


Some Related GitHub Repositories

Miscellaneous

TypeFunc list of languages used
Other projects in Agda