Loreon
Labs
Platform
Docs
Home
Ecosystems
OCaml
bdtt
mmcqd/bdtt
OCaml
Emerging
GitHub
Stars
—
Forks
—
Contributors
2
Last push
33mo ago
Recent commits
Latest commits.
fix: work with the latest asai
35a8fb1
favonia
33mo ago
make it compatible with latest asai
fd7c672
favonia
33mo ago
test
7e859b9
Matthew McQuaid
33mo ago
buncha stuff
b69eec5
Matthew McQuaid
33mo ago
forget about annoting everything
49968ac
Matthew McQuaid
33mo ago
basic dependent type theory, but with fully type annotated terms
1f8469b
Matthew McQuaid
34mo ago
Top contributors
Builders behind this project.
mmcqd
4 commits
favonia
2 commits
