LICENSE
README.md
pyproject.toml
setup.py
src/decl/__init__.py
src/decl/__main__.py
src/decl/api.py
src/decl/checker.py
src/decl/cli.py
src/decl/conformance.py
src/decl/engine.py
src/decl/fmt.py
src/decl/infer.py
src/decl/lsp.py
src/decl/module.py
src/decl/package.py
src/decl/parse.py
src/decl/pipeline.py
src/decl/render.py
src/decl/repl.py
src/decl/semantics.py
src/decl/session.py
src/decl/subsume.py
src/decl/yaml.py
src/decl/_tree_sitter/__init__.py
src/decl/_tree_sitter/_binding.pyi
src/decl/_tree_sitter/binding.c
src/decl/_tree_sitter/src/parser.c
src/decl/_tree_sitter/src/scanner.c
src/decl/_tree_sitter/src/tree_sitter/alloc.h
src/decl/_tree_sitter/src/tree_sitter/array.h
src/decl/_tree_sitter/src/tree_sitter/parser.h
src/decl/qengine/__init__.py
src/decl/qengine/db.py
src/decl/qengine/edits.py
src/decl/qengine/programs.py
src/decl/qengine/qeval.py
src/decl/qengine/revisions.py
src/decl/qengine/rounds.py
src/decl_lang.egg-info/PKG-INFO
src/decl_lang.egg-info/SOURCES.txt
src/decl_lang.egg-info/dependency_links.txt
src/decl_lang.egg-info/entry_points.txt
src/decl_lang.egg-info/requires.txt
src/decl_lang.egg-info/top_level.txt