Type Theory
An online study group, open to all, dedicated to learning type theory.
- 3 followers
- ##typetheory on freenode
- http://twitter.com/type_theory
- type-theory-study-group@googlegroups.com
Popular repositories
-
type-theory-study-group
type-theory-study-group PublicResources for the online Type Theory Study Group
-
learn-tt
learn-tt PublicForked from jozefg/learn-tt
A collection of resources for learning type theory.
