LICENSE
MANIFEST.in
README.md
doc.md
setup.py
examples/Counter.tla
examples/README.md
examples/calculator.py
examples/format_tla.py
examples/line_count.py
examples/parsing_tla_expressions.py
examples/parsing_tla_modules.py
examples/syntax_tree_traversal.py
tests/README.md
tests/elif_test.py
tests/lexer_test.py
tests/multiline_string_test.py
tests/parser_test.py
tests/parser_tree_test.py
tests/pprint_test.py
tests/preparser_test.py
tests/tlaps_lib_test.py
tests/vertical_pipes_test.py
tla/__init__.py
tla/_ast.py
tla/_grammar.py
tla/_langdef.py
tla/_lex.py
tla/_lre.py
tla/_pprint.py
tla/_preparser.py
tla/_utils.py
tla/_version.py
tla/tla_parser.json
tla.egg-info/PKG-INFO
tla.egg-info/SOURCES.txt
tla.egg-info/dependency_links.txt
tla.egg-info/requires.txt
tla.egg-info/top_level.txt