README.md
setup.py
mltt/__init__.py
mltt/checker.py
mltt/context.py
mltt/syntax.py
mltt/core/__init__.py
mltt/core/checker.py
mltt/core/evaluator.py
mltt/core/normalizer.py
mltt/syntax/__init__.py
mltt/syntax/terms.py
mltt/syntax/values.py
mltt_resolver.egg-info/PKG-INFO
mltt_resolver.egg-info/SOURCES.txt
mltt_resolver.egg-info/dependency_links.txt
mltt_resolver.egg-info/requires.txt
mltt_resolver.egg-info/top_level.txt
tests/__init__.py
tests/test_basic.py
tests/test_checker.py
tests/test_fuzzing.py