README.md
pyproject.toml
frml/__init__.py
frml/__main__.py
frml/ast_nodes.py
frml/cli.py
frml/errors.py
frml/interpreter.py
frml/lexer.py
frml/parser.py
frml/prover.py
frml/typechecker.py
frml/types.py
frml.egg-info/PKG-INFO
frml.egg-info/SOURCES.txt
frml.egg-info/dependency_links.txt
frml.egg-info/entry_points.txt
frml.egg-info/requires.txt
frml.egg-info/top_level.txt
tests/test_cli.py
tests/test_errors.py
tests/test_interpreter.py
tests/test_lexer.py
tests/test_parser.py
tests/test_prover.py
tests/test_typechecker.py
tests/test_types.py