kino3 / Mini-TTLinks

mirror of A simple type-theoretic language: Mini-TT
40Updated 8 years ago

Alternatives and similar repositories for Mini-TT

Users that are interested in Mini-TT are comparing it to the libraries listed below

Sorting: