mandate/__init__.py,sha256=qfz1YWG3NetpNb9XAddL_hx5g3hG9YWAIs7S2CCLPYk,78
mandate/air.py,sha256=wwdnXAM4OCSey3BzfNBR__jfHejYXZvqj4Fo1EkKiSw,5796
mandate/analyze.py,sha256=B5aIR5YgyYg3EL0Y9OrPsoUOXy4Mnw4uwy7mGJ-3fPk,6320
mandate/ast_nodes.py,sha256=mRJj_pRhce1AbfB_B99WYlzWnd5TBJab8SSvk-B-0dw,5417
mandate/cli.py,sha256=8kjP1tJwEp2ID7mT6m6KcbtgwUIczz53VCBi_I9unSg,17460
mandate/formatter.py,sha256=u4piRF-MaS7h6wb5a941-Lug2ms71k8uCQ-NBE-keYQ,5899
mandate/hooks.py,sha256=aB5bHjaIEve1NPq9lWse0oZjOC8KxOdP1PtG4X-yFgI,4403
mandate/lexer.py,sha256=ImVuqEcsdjMVdp3If_p_FQrILUfOL-8XcyaQ05105qQ,8223
mandate/parser.py,sha256=jWgCmhE9qmNNErGVkSe--lTcYLhznb7yf4CbPBdm5Jw,24194
mandate/runner.py,sha256=vzD6YWdhJR2pmfwj4NaKBbWauLn1bLjw7Dnt6OwxHiU,10550
mandate/synthesize.py,sha256=bXj8c1ha5VbAS5AorHzrU8hyUtJXGzQDxX0gd2V8bBU,4240
mandate/testing.py,sha256=aRZHd4wm-ny8KWxKQeF3v_gCKsgmhuo55k-xEFoGHEU,10370
mandate/transpiler.py,sha256=GCegbMfj_29hZ-p3xPNPDYjwEZ5XW3DC4LK90fgUwNg,9101
mandate/type_checker.py,sha256=2BjPB9g2te4jbdteK_hXbhyBlYrCi6BzMLne1NBOZNI,11114
mandate/verify.py,sha256=jiTvvHri4PuXEg3RAJndJoaZKTYq5RKgmTvIVq4cqtY,4236
mandate_lang-0.4.0.dist-info/METADATA,sha256=DIqtseAd_ggIMP2cuZLFsBrz1VQpyKrXsn3Zea-_thg,309
mandate_lang-0.4.0.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
mandate_lang-0.4.0.dist-info/entry_points.txt,sha256=oG_e9avbwS9TABPpRHLHzazMYSbEW9qTatYrjBaBFUI,45
mandate_lang-0.4.0.dist-info/licenses/LICENSE,sha256=HXyRxL5U77OK3_H-CgXU4DDOi3-S7PyYqviiiUWPueY,1069
mandate_lang-0.4.0.dist-info/RECORD,,
