kino3 / Mini-TT

mirror of A simple type-theoretic language: Mini-TT
38Updated 7 years ago

Related projects

Alternatives and complementary repositories for Mini-TT