/ttlite

A SuperCompiler for Martin-Löf's Type Theory

Primary LanguageScala

Stargazers