TinyLean/__init__.py,sha256=za89iH5BI-vH_o73N_22tYVzbZwNR9TUXD609wQ-Qgw,1618
TinyLean/__main__.py,sha256=QlfHp7_aXy6weXBMQyfasXn1lI8I_Rx6-8BJcYRiy8s,2565
TinyLean/ast.py,sha256=VwIoydwRe9bVo6w0_6Ee6rvX9uA1UBqGBv-pvzLv-go,21218
TinyLean/grammar.py,sha256=yfO8n4CDmnyhz62j-DEITXpJDHad3fm6Fu002pdbjtc,3104
TinyLean/ir.py,sha256=wv_xVvRI8Kh4NW1ntwdGmBrcWEjZMJFudLqLhcS7Z0I,11824
TinyLean/tests/__init__.py,sha256=uZFlnVYeZVrPEY-S1R_h34nI8zd1n9R_VUTAERRoZCM,396
TinyLean/tests/test_checker.py,sha256=IcK8UvOlNfKiSmb-yMDHX9DTh-7Xxc71HD5_PeZcMck,24966
TinyLean/tests/test_main.py,sha256=dFixVzV7vzDFmIpMJFAdkND0PnqrGrJcYGI-AfmwkTc,5081
TinyLean/tests/test_parser.py,sha256=PRtfeKVB6Axx4PxynjZQ6HU3ghXXsIZP3GxDI27ZQfY,16271
TinyLean/tests/test_resolver.py,sha256=WBRfyOWl_DAu68pYMT7utoPbZq0ld892d8gMPqI7Vc4,6041
tinylean-0.7.0.dist-info/LICENSE,sha256=J1lFqWR4tbHH6fvDvB1i7XvdnuDa6xwnZU-FoGaWWHM,1062
tinylean-0.7.0.dist-info/METADATA,sha256=0tnBm-pwnUc2AvYc1e_foF9UcLEIi8ZMLNVlpFMYMG0,3554
tinylean-0.7.0.dist-info/WHEEL,sha256=52BFRY2Up02UkjOa29eZOS2VxUrpPORXg1pkohGGUS8,91
tinylean-0.7.0.dist-info/entry_points.txt,sha256=Xmpo7KQWcdXxvPpZmEqKZF5fzbGNX60tVAaR0zGveEU,52
tinylean-0.7.0.dist-info/top_level.txt,sha256=nMazVHL98eUS-sSMEavARhZSaF7Wg0kKLW0gqlnL7kw,9
tinylean-0.7.0.dist-info/RECORD,,
