☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
qdt
0.1.0
Query-based Dependent Type Elaborator
Query-based Dependent Type Elaboration
Incremental elaborator for a dependent type theory
qdt0.1.0qdt0.1.0