LICENSE
README.md
pyproject.toml
setup.py
decl/__init__.py
decl/cli.py
decl/_tree_sitter/__init__.py
decl/_tree_sitter/_binding.pyi
decl/_tree_sitter/binding.c
decl/_tree_sitter/src/parser.c
decl/_tree_sitter/src/scanner.c
decl/_tree_sitter/src/tree_sitter/alloc.h
decl/_tree_sitter/src/tree_sitter/array.h
decl/_tree_sitter/src/tree_sitter/parser.h
decl/runtime/__init__.py
decl/runtime/__main__.py
decl/runtime/checker.py
decl/runtime/cli.py
decl/runtime/conformance.py
decl/runtime/engine.py
decl/runtime/fmt.py
decl/runtime/infer.py
decl/runtime/lsp.py
decl/runtime/module.py
decl/runtime/package.py
decl/runtime/parse.py
decl/runtime/pipeline.py
decl/runtime/repl.py
decl/runtime/semantics.py
decl/runtime/session.py
decl/runtime/subsume.py
decl_lang.egg-info/PKG-INFO
decl_lang.egg-info/SOURCES.txt
decl_lang.egg-info/dependency_links.txt
decl_lang.egg-info/entry_points.txt
decl_lang.egg-info/requires.txt
decl_lang.egg-info/top_level.txt
tests/test_api.py
tests/test_corpus.py