dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

Name		Name	Last commit message	Last commit date
Latest commit History 101 Commits
.github		.github
basis		basis
bin		bin
core		core
frontend		frontend
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
dreamtt.opam		dreamtt.opam
dune		dune
dune-project		dune-project
index.mld		index.mld

Provide feedback