sconybeare / mlttLinks

Implementation of Martin-Löf Type Theory in Haskell
16Updated 9 years ago

Alternatives and similar repositories for mltt

Users that are interested in mltt are comparing it to the libraries listed below

Sorting: