TinyLean/__init__.py,sha256=3Mr6S3QBCV87aJ8RA3b7sdO8vZUJVx3yT8yYtP_iipo,786
TinyLean/__main__.py,sha256=Mhn-fKM9wfkSmiO0-lHhrej9jVqM5H3D022kbNcLJl0,1247
TinyLean/ast.py,sha256=GFQGuXaIH1VDzVGX2uXgOsxANdykz_WSk3Qf4j4GYZk,6902
TinyLean/grammar.py,sha256=CCFCVLKX-bnWD0ojOVeqrocihBoaYm1TyveLvX80jvQ,1617
TinyLean/ir.py,sha256=bK6z7n1gLnJ8zfI2C2wyH9pxSX_ZONjPnwf3pKkEyhM,4058
TinyLean/tests/__init__.py,sha256=D0TffbIGJCpBrmjv91s6DRAxEfshoElUtA4b0fo1Hb4,61
TinyLean/tests/test_ast.py,sha256=OBj9UlPnzOLqfb_dG7WsqBo6orETfMAo28rIxhZXNYo,16439
TinyLean/tests/test_grammar.py,sha256=433yHl0icG_IeRYFf1WNkToqEwCfde2kwDBbtvlNY20,1603
TinyLean-0.1.0.dist-info/LICENSE,sha256=J1lFqWR4tbHH6fvDvB1i7XvdnuDa6xwnZU-FoGaWWHM,1062
TinyLean-0.1.0.dist-info/METADATA,sha256=uVl8f7Kuvz-ay36tbNASUz3XFj7M4L3H9yh8CfyeFjs,2347
TinyLean-0.1.0.dist-info/WHEEL,sha256=In9FTNxeP60KnTkGw7wk6mJPYd_dQSjEZmXdBdMCI-8,91
TinyLean-0.1.0.dist-info/entry_points.txt,sha256=Xmpo7KQWcdXxvPpZmEqKZF5fzbGNX60tVAaR0zGveEU,52
TinyLean-0.1.0.dist-info/top_level.txt,sha256=nMazVHL98eUS-sSMEavARhZSaF7Wg0kKLW0gqlnL7kw,9
TinyLean-0.1.0.dist-info/RECORD,,
