Query-based Dependent Type Elaboration

Incremental elaborator for a dependent type theory

Name		Name	Last commit message	Last commit date
Latest commit History 450 Commits
.github/workflows		.github/workflows
FSWatch		FSWatch
Incremental		Incremental
IncrementalWF		IncrementalWF
Qdt		Qdt
examples		examples
vscode-qdt		vscode-qdt
.clang-format		.clang-format
.gitignore		.gitignore
FSWatch.lean		FSWatch.lean
LICENSE		LICENSE
Lsp.lean		Lsp.lean
Main.lean		Main.lean
Qdt.lean		Qdt.lean
README.md		README.md
justfile		justfile
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
proposal.md		proposal.md

Provide feedback