-
Notifications
You must be signed in to change notification settings - Fork 128
A collection of resources for learning type theory and type theory adjacent fields.
jozefg/learn-tt
About
A collection of resources for learning type theory and type theory adjacent fields.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published