TinyLean/__init__.py,sha256=QlGJP_w9t8blVGo00TycwCI1sGdbTXP5My0fNiOLK5w,1041
TinyLean/__main__.py,sha256=-ydxvtJW4jLCZkXxUC5hxqScGxa91mU8p-r-3B15n5Y,2187
TinyLean/ast.py,sha256=i-C4_LvyLVUVSdLIJaykOOiWc4IAOAr0rht_pEGc0Qg,16332
TinyLean/grammar.py,sha256=JeXXI9gBN8TwAOBoT-AIDbENJOGl_BEctLvXfph5QZQ,2535
TinyLean/ir.py,sha256=4EYBceTrBRx9uxeB9m7O5Ak3QLqUveeYEfuYJqXGyJM,8527
TinyLean/tests/__init__.py,sha256=uZFlnVYeZVrPEY-S1R_h34nI8zd1n9R_VUTAERRoZCM,396
TinyLean/tests/test_checker.py,sha256=xpbiXne2fEq35IT7vNZ9YvicvqtFHS8b6NIwVdxWtkc,17966
TinyLean/tests/test_main.py,sha256=FjFS-GmcUbg93wZwVYV7ZRldPLP6DcVRh_OL9dCppgU,4532
TinyLean/tests/test_parser.py,sha256=JmRe3Y412BvK3HTbGbllQ09skWiw2E7x8-dbSyq_FIw,13109
TinyLean/tests/test_resolver.py,sha256=bCoJT8_dp8xvReEdiCuyiOWnn-4_xIrSDA2j1GC1HL0,5129
TinyLean-0.4.0.dist-info/LICENSE,sha256=J1lFqWR4tbHH6fvDvB1i7XvdnuDa6xwnZU-FoGaWWHM,1062
TinyLean-0.4.0.dist-info/METADATA,sha256=Tth97PvhF_wDr6VRafb9UvZgiC9xWOVU8SljPycnjqo,3100
TinyLean-0.4.0.dist-info/WHEEL,sha256=In9FTNxeP60KnTkGw7wk6mJPYd_dQSjEZmXdBdMCI-8,91
TinyLean-0.4.0.dist-info/entry_points.txt,sha256=Xmpo7KQWcdXxvPpZmEqKZF5fzbGNX60tVAaR0zGveEU,52
TinyLean-0.4.0.dist-info/top_level.txt,sha256=nMazVHL98eUS-sSMEavARhZSaF7Wg0kKLW0gqlnL7kw,9
TinyLean-0.4.0.dist-info/RECORD,,
