mirror of A simple type-theoretic language: Mini-TT
Primary LanguageHaskell
No issues in this repository yet.