ilya-klyuchnikov/ttlite

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

语言：Scala · GitHub 星标：125 · Fork：9

话题：agda · coq · dependent-types · idris · programming-language · supercompilation · type-theory

在 GitHub 上查看原仓库