.gitignore
.pre-commit-config.yml
CHANGELOG.md
CITING.md
CONTRIBUTING.md
LICENSE
README.md
pyproject.toml
setup.py
tox.ini
.github/.stale.yml
.github/FUNDING.yml
.github/PULL_REQUEST_TEMPLATE.md
.github/dependabot.yml
.github/release-drafter.yml
.github/ISSUE_TEMPLATE/bug_report.md
.github/ISSUE_TEMPLATE/config.yml
.github/ISSUE_TEMPLATE/feature_request.md
.github/ISSUE_TEMPLATE/question.md
.github/workflows/greetings.yml
.github/workflows/python-publish.yml
.github/workflows/release-drafter.yml
docs/README.md
docs/lang.md
docs/py-ast.md
docs/semantics.md
docs/syntax.md
docs/fig/concept.png
scripts/build_grammars.py
src/hpl/__init__.py
src/hpl/__main__.py
src/hpl/_unused.py
src/hpl/cli.py
src/hpl/errors.py
src/hpl/grammar.py
src/hpl/parser.py
src/hpl/rewrite.py
src/hpl/types.py
src/hpl/ast/__init__.py
src/hpl/ast/_unused.py
src/hpl/ast/base.py
src/hpl/ast/events.py
src/hpl/ast/expressions.py
src/hpl/ast/predicates.py
src/hpl/ast/properties.py
src/hpl/ast/specs.py
src/hpl/grammars/files.lark
src/hpl/grammars/predicates.lark
src/hpl/grammars/properties.lark
src/hpl/grammars/tokens.lark
src/hpl_specs.egg-info/PKG-INFO
src/hpl_specs.egg-info/SOURCES.txt
src/hpl_specs.egg-info/dependency_links.txt
src/hpl_specs.egg-info/entry_points.txt
src/hpl_specs.egg-info/not-zip-safe
src/hpl_specs.egg-info/requires.txt
src/hpl_specs.egg-info/top_level.txt
tests/__init__.py
tests/strategies.py
tests/test_canonical_rewrite.py
tests/test_invalid_predicates.py
tests/test_invalid_properties.py
tests/test_logic_rewrite.py
tests/test_pkg_import.py
tests/test_valid_expressions.py
tests/test_valid_properties.py