Type Theory Game A lean game about type theory and all that jazz. Learn about: Church encoding of types Type eqivalences Induction principle on types asdf