https://github.com/jozefg/learn-tt
2166
3 months ago
A collection of resources for learning type theory and type theory adjacent fields.