learn-tt
★ 0
updated 7y ago
⑂ fork
A collection of resources for learning type theory and type theory adjacent fields.
No plain-English explanation yet — one is being written right now. Check back in a minute.