.codecrate.toml
.gitignore
.pre-commit-config.yaml
LICENSE
MANIFEST.in
README.md
pyproject.toml
.github/workflows/codecov.yml
.github/workflows/pre-commit.yml
.github/workflows/python-publish.yml
.github/workflows/tests.yml
.ledger/ledger.toml
.ledger/releaseledger/.ledger-project.toml
.ledger/releaseledger/config.toml
.ledger/releaseledger/write.lock
.ledger/releaseledger/data/.ledger-project.toml
.ledger/releaseledger/data/ledgers/main/events/events.jsonl
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/release.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0001.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0002.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0003.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0004.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0005.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0006.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0007.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0008.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0009.md
.ledger/releaseledger/data/ledgers/main/releases/0.1.0/entries/entry-0010.md
.ledger/taskledger/.ledger-project.toml
.ledger/taskledger/config.toml
docs/Makefile
docs/changelog.md
docs/cli.md
docs/concepts.md
docs/conf.py
docs/debugging.md
docs/development.md
docs/examples.md
docs/getting-started.md
docs/index.md
docs/language.md
docs/make.bat
docs/make.py
docs/proofs-and-provenance.md
docs/python-api.md
docs/semantic-unification.md
docs/api/api.md
docs/api/engine.md
docs/api/index.md
docs/api/models.md
docs/api/parser.md
docs/api/unifier.md
examples/README.md
examples/access_policy.nl
examples/api_usage.py
examples/birds.nl
examples/dependency_impact.nl
examples/family.nl
examples/python_lint_rules.nl
examples/python_linter.py
examples/python_linter_fixture.py
inferlingo/__init__.py
inferlingo/__main__.py
inferlingo/_version.py
inferlingo/api.py
inferlingo/cli.py
inferlingo/engine.py
inferlingo/errors.py
inferlingo/models.py
inferlingo/parser.py
inferlingo/program.py
inferlingo/py.typed
inferlingo/terms.py
inferlingo/unifier.py
inferlingo.egg-info/PKG-INFO
inferlingo.egg-info/SOURCES.txt
inferlingo.egg-info/dependency_links.txt
inferlingo.egg-info/entry_points.txt
inferlingo.egg-info/requires.txt
inferlingo.egg-info/scm_file_list.json
inferlingo.egg-info/scm_version.json
inferlingo.egg-info/top_level.txt
tests/test_api.py
tests/test_cli.py
tests/test_docs.py
tests/test_engine.py
tests/test_examples.py
tests/test_index.py
tests/test_lexer.py
tests/test_parser.py
tests/test_proofs.py
tests/test_safety.py
tests/test_terms.py
tests/test_unifier.py
tests/test_unifier_batch.py
tests/test_version.py