GitHub - mjustus/tt: Type checker for pure MLTT using well-scoped de Bruijn indices · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
src		src
test		test
.gitignore		.gitignore
dune-project		dune-project
tt.opam		tt.opam

About

Type checker for pure MLTT using well-scoped de Bruijn indices

dependent-types type-checking debruijn-indices

Report repository

Releases

No releases published

Packages

Contributors

Languages