All Projects → ayberkt → Mini-TT

ayberkt / Mini-TT

Licence: MIT License
A tiny implementation of dependent types.

Programming Languages

Standard ML
205 projects

Mini-TT

A tiny type-theoretic language.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].