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/top_level.txt