Geeks
ilya-klyuchnikov
/
ttlite
A SuperCompiler for Martin-Löf's Type Theory
Primary Language
Scala
ttlite GitHub
Markdown
Readme
0
Issues
119
Stargazers
10
Watchers
No issues in this repository yet.