TinyLean/__init__.py,sha256=1B0lNO0SLPzQQBpuzyEg43NvnVSET_7mikOtgcVFBHM,1140
TinyLean/__main__.py,sha256=-ydxvtJW4jLCZkXxUC5hxqScGxa91mU8p-r-3B15n5Y,2187
TinyLean/ast.py,sha256=TcZ3Pls-LWVdKASlP-uaA9CbFFPaI8rATggHaIavIPU,16940
TinyLean/grammar.py,sha256=6xBum2JNsllf64rLR3kAH8qoTEOPRGnprbk9traCFfc,2536
TinyLean/ir.py,sha256=q59saweZ9y5902texqjg-OlP47fo6HCItsFTdWRDk58,9161
TinyLean/tests/__init__.py,sha256=uZFlnVYeZVrPEY-S1R_h34nI8zd1n9R_VUTAERRoZCM,396
TinyLean/tests/test_checker.py,sha256=trZs1Ny_tvMBNTnnut01VBe8SyU636bbCTDVWfSz95M,20364
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.5.0.dist-info/LICENSE,sha256=J1lFqWR4tbHH6fvDvB1i7XvdnuDa6xwnZU-FoGaWWHM,1062
tinylean-0.5.0.dist-info/METADATA,sha256=C9ntVc2Vtii5ipPiMT0wgzGuBNnGBKoTKvQkppLnTtk,3554
tinylean-0.5.0.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
tinylean-0.5.0.dist-info/entry_points.txt,sha256=Xmpo7KQWcdXxvPpZmEqKZF5fzbGNX60tVAaR0zGveEU,52
tinylean-0.5.0.dist-info/top_level.txt,sha256=nMazVHL98eUS-sSMEavARhZSaF7Wg0kKLW0gqlnL7kw,9
tinylean-0.5.0.dist-info/RECORD,,
