TinyLean/__init__.py,sha256=MDRjKecr9bUGgCin21K8OawQVN7ruuCd0gH8Qb1xItw,958
TinyLean/__main__.py,sha256=nvjqpa8K8--quSWdBY5U5tLMFo9koPM07l3LCpMdaoU,1545
TinyLean/ast.py,sha256=-5FPCJBECcFaUH57uGhzwdSmOxDRjLxA2wUd8i3M4aE,8553
TinyLean/grammar.py,sha256=bINrrEsk4DfT54A22F6yGPraf8-SP1aBWubPfMs50wY,1929
TinyLean/ir.py,sha256=vgbLkoro2TWyvMsosUfh9jwXN1QdajMoA83rDh-8QzI,4840
TinyLean/tests/__init__.py,sha256=D0TffbIGJCpBrmjv91s6DRAxEfshoElUtA4b0fo1Hb4,61
TinyLean/tests/test_ast.py,sha256=L0eLVgQ0zfHz6qK9pvUzdVGIDUwTCST6HA_ZsY5r4Vs,19402
TinyLean/tests/test_grammar.py,sha256=TNhqqxGKnkyYBRg73sEWnNFSXJyTW5AJpDqfCH1attE,2491
TinyLean-0.2.0.dist-info/LICENSE,sha256=J1lFqWR4tbHH6fvDvB1i7XvdnuDa6xwnZU-FoGaWWHM,1062
TinyLean-0.2.0.dist-info/METADATA,sha256=Y_3QhMvqN1Vh59DM8iV7Ka52-LHRMe0NMGc6aQPSI9E,2618
TinyLean-0.2.0.dist-info/WHEEL,sha256=In9FTNxeP60KnTkGw7wk6mJPYd_dQSjEZmXdBdMCI-8,91
TinyLean-0.2.0.dist-info/entry_points.txt,sha256=Xmpo7KQWcdXxvPpZmEqKZF5fzbGNX60tVAaR0zGveEU,52
TinyLean-0.2.0.dist-info/top_level.txt,sha256=nMazVHL98eUS-sSMEavARhZSaF7Wg0kKLW0gqlnL7kw,9
TinyLean-0.2.0.dist-info/RECORD,,
