This is your work, valued

##typetheory on freenode

Type Theory

Advanced
@type-theory

An online study group, open to all, dedicated to learning type theory.

twitter.com/type_theory