LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
pyproject.toml,sha256=Xktcb0A3GWZhzEnCw8MP16iP3sNCVd0WWpqZZIxnTn8,4588
codelogician/README.md,sha256=YJ3HPR_G97U516rTex6kKg33kkO2bsEM-Nzg7HhOsZE,2026
codelogician/__init__.py,sha256=EB9uEWfzMiaiiFi9xuLbEc2B2oazRZhCJ4BtMOZ198A,625
codelogician/clite.py,sha256=c3tJRkEJljBMpWwqF87UrZQ2G82OeRhywRKNuhcxPs0,861
codelogician/lib.py,sha256=THAiAa5EXt0bhandCi1tQsUaytkX_rXdesyLbgF2DCU,22266
codelogician/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
codelogician/update_check.py,sha256=CeIpWpv0R-3Ou9T_ypPf9Ynf95YDQBgAGGvpwBC7gdE,4915
codelogician/util.py,sha256=EsOL8WLAiEeQHq0BSjbTvWpg3QMgB78hm5KvmL5P0og,4422
codelogician/commands/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
codelogician/commands/_utils.py,sha256=3LnGf3jOeiO7KJOkv40a5-n6s2NoLb6-mhA4a0MEsJw,1879
codelogician/commands/cmd_changelog.py,sha256=-56alxTP-E3-nLwseVuvqt3LX91efY0R4CY25FGs3Z4,4346
codelogician/commands/cmd_doc.py,sha256=L2rIoGVPzut0AevMSvn2MT-aD2CN734DBvu7mRH2XIc,5324
codelogician/commands/cmd_eval.py,sha256=NvrbVU3v162g0VHuCE1ZFFqnh4zq0U1qraTVpK92mIs,20958
codelogician/commands/cmd_fn.py,sha256=IUo_KXn_BUB4GpvpC2exXKPRePKX_1UnTdpDIQCmTdQ,3660
codelogician/commands/cmd_rec.py,sha256=imSsn5oj7SZai0hBMLM6zbFeA70ry2nMz56BNlJS6k8,2570
codelogician/doc/UPSTREAM_REV,sha256=LyLws1oJrLwb7CGMdCRMv3VeeSw-Mhv117QkliO_5y8,41
codelogician/doc/__init__.py,sha256=H1yTYoZ8OrUntsfUzGuG5DmVKdnjLOf9vv0cW2ydk0E,585
codelogician/doc/md_utils.py,sha256=0liL2LJEGP54aikfbzzBAi48P3XMqGA5FO8SKq0TZVY,491
codelogician/doc/search.py,sha256=-3ajzx9e81WAc-zbbGRF-VeR_uPQ3ceEdDPOG82OsfE,7501
codelogician/doc/skill/SKILL.md,sha256=6IaIxQC6VDpXE3h-xFWkRlO1_eKWs-WEpwLTcc0cnXM,8482
codelogician/doc/skill/codelogician-cli.md,sha256=BPjyetiB71S6dhxoMZ__c_ssjmwUVAmvp7iL7lpppmY,1473
codelogician/doc/skill/eval-command.md,sha256=TJ1jVgPTqfGvJJ6wVvrGWCvnvJqj_gE89osdoIbGzO4,1036
codelogician/doc/skill/iml-language-guide.md,sha256=IU45sE7lCXqkq6Tei1cEjNehgSxDwgyPOt6g4GqrgqI,11068
codelogician/doc/skill/import-syntax.md,sha256=fmZ1xXyWR7jEwj2xxkj0hm956KBM_WrMM0TVS1SDSMo,962
codelogician/doc/skill/region-decomp-intro.md,sha256=aSPwLLSh_rt4sfG0oy8dhzD5GYyMPsf76rd0ip7Wrko,5093
codelogician/doc/skill/termination-proving.md,sha256=Kuag6hFRUbL37sBFWzpWR1acxTCnWTPZwszL_Z61WJ4,6135
codelogician/doc/skill/verification-with-verify-and-instance.md,sha256=85Uj7WpLeALrDGR8qIkUhTgnoCLv6I0UeLGrXl2c-_w,1507
codelogician/doc/skill/advanced/avoid-higher-order-functions-in-proofs.md,sha256=FMsiHdvqAuCcqP2oJATMrI-5TcB7m3ggp5DRn14jT_A,3511
codelogician/doc/skill/advanced/bypass-verification-completely.md,sha256=qtlAlA2hBqAw0gaNlx1tc-Bxt-viCn9GBrBqZrrGUFI,596
codelogician/doc/skill/advanced/opaque-functions.md,sha256=I_3MYViA3g0MZNKVVKMgLLcEK4CwdWcSaerk_V6vSWs,1155
codelogician/doc/skill/advanced/region-decomp-advanced-features.md,sha256=dYqDd35SIAfxrliGgFGcIkzJhDzzIC6YtTEBIPDAq34,3035
codelogician/doc/skill/advanced/unit-testing.md,sha256=vxZpmDiEQP5C1OtRs1JO0sIDethqQSHFWzJmG-CMFBg,2010
codelogician/doc/skill/error-fix-data/README.md,sha256=xA4nxhFs8BNpdHXM-v7VhVPVdUqYsFLFk1go7toK9tI,929
codelogician/doc/skill/error-fix-data/iml_eval_corpus.json,sha256=2-Npp0Abu-V5F271pcQi20IcgCywcTT7ag8CtTt4QnA,14416
codelogician/doc/skill/extended-prelude/README.md,sha256=I41bWHIVrf7Ojztt63Tz65PcgoV2obY0yQZSEwYJGVE,821
codelogician/doc/skill/reference/all-prelude-module-signatures.md,sha256=Dk4PcbQqFPTxLELXLOqsZYI3-eb7PrOKRN7bg3eiOlU,14874
codelogician/doc/skill/reference/ordinal.md,sha256=BS7Lrii0NgHgSs5T7ON02Fi_vyXraGbmhWtsSidolzU,1764
codelogician/doc/skill/reference/tactics.md,sha256=qFkIO2A4ydvz5YikL2JkOrfhrtnnuAJuzdIYO8T0UD4,14632
codelogician/doc/skill/reference/prelude/Int.md,sha256=48OKyaeCUhIqIdxraaWBngXhC2fV3RppNJfmIhijPug,2309
codelogician/doc/skill/reference/prelude/LChar.md,sha256=2aewa9ClE1UbzMrPIHzc0q-XTW9J7uY-DEHLlvOmNlw,408
codelogician/doc/skill/reference/prelude/LString.md,sha256=X8fhgXv0gJumbl-4-_GBdqDCdafX1syw7FTGaZYfyBw,2355
codelogician/doc/skill/reference/prelude/List.md,sha256=oHsxKXKa3jiVmi06tAZaYkqnoh4-v_XuURkcwfiD_Is,6944
codelogician/doc/skill/reference/prelude/Map.md,sha256=b_QNH4ywa8pfvbAAfKLJ1auzy8x57Av0VHy-PV9EVV0,1201
codelogician/doc/skill/reference/prelude/Multiset.md,sha256=Hq2xmOyzz8iAn3tKi9SqekihjoWjt6R6Q6mcZ5NNB_8,1767
codelogician/doc/skill/reference/prelude/Option.md,sha256=Qty02JusuvyUyjy7Y8QJg0s4XF2fml1YWOXc4g9NXzY,5071
codelogician/doc/skill/reference/prelude/Real.md,sha256=fjVrp4PXp_sAAJOcMENjBNq5LnWgULeEFyzgQwX4ybc,1907
codelogician/doc/skill/reference/prelude/Result.md,sha256=j-RzWnifUGnBXNQn5oBEBn5PFUFPFsBKaYcJYTR6dbk,2607
codelogician/doc/skill/reference/prelude/Set.md,sha256=kngw8CT6hh8u6WZBh3PgYFTIhygQ6YYudyQA74ec8e0,1941
codelogician/doc/skill/reference/prelude/String.md,sha256=IPY1HtchBMsw_NBGVxTex8SHCcVPZSVTlySQ_uC7kaw,2744
codelogician/doc/skill/reference/prelude/prelude.json,sha256=U6e8sGeVjw7_OBKmyktINOp2kqc9x3B_9aluJLgZ4IQ,73062
codelogician/doc/skill/reference/prelude/top-level.md,sha256=5BXw-53MaAwpkh31Nox0sJ8m1-7h4oy3T_FBfBnli1I,6580
codelogician/doc/skill/verification/arithmetic-playbook.md,sha256=lrhZA0h21huIg_M8ILE6h9jWBQysV62UII-ZlghaVu8,6629
codelogician/doc/skill/verification/induction-control.md,sha256=X1wpCnZDO28eSUu-4PVuhuIuKU7npdfGe6Y1Cn8AQoA,7023
codelogician/doc/skill/verification/proof-method.md,sha256=qaUFR4xqrcLyiw5zZYHDDxaDxx8hTNy7_1SvmBuBb-g,7813
codelogician/doc/skill/verification/proof-notes-and-practices.md,sha256=_dk0yJXsb43SJi6Aa9DmQXzv1QfHalnu7eTaqW7C-Mg,5486
codelogician/doc/skill/verification/statement-engineering.md,sha256=9qn8GpVkwx7xa6HSVZDl018ttV9l25FQ4XKPt9ebfcg,9063
codelogician/doc/skill/verification/verification-guide.md,sha256=czz5wO8pGXy89ZboybyeyjYLXIX0CbNDcVhvzZ8J_UM,8850
codelogician/doc/xstate/xstate.md,sha256=FILWNGbNKc9hD4Q7AUYXG550faboh895viCa-eGM3Z0,14205
codelogician/doc/xstate/example/_index.md,sha256=SsUtzkHj7m7Hp3qEflttDFjeeZcPW19mR5jT2MZ8m9w,94
codelogician/doc/xstate/example/7guis-flight-booker-react/_index.md,sha256=TOhphkR3nF-SC5Z09wJByzItm4SArQ-d3VcVo_JbP_Q,125
codelogician/doc/xstate/example/7guis-flight-booker-react/flightMachine.ts,sha256=BaE1idE8cs-8zS2Fk7ET3wTNWXMmdNuTESi9DCWIBEY,2924
codelogician/doc/xstate/example/timer/_index.md,sha256=eaFQQ_XNZv4Ww6oAiYFRIzE198LZbeo0Sh51OSBhDho,97
codelogician/doc/xstate/example/timer/timerMachine.ts,sha256=Y0ZXU2k8ZBvjE2Smpgv5kKygBjezxxanBQQpNn-zgiA,1830
codelogician/doc/xstate/example/workflow-book-lending/_index.md,sha256=0c0Zv_96Rnj19C-L97zvbzejNXU5ynuoQL7O0ws3nQs,110
codelogician/doc/xstate/example/workflow-book-lending/workflow-book-lending.ts,sha256=gk1jGkapTbSZA525g9DWIm_ESGMR8gilwxFlEtuGJ3E,7020
codelogician/doc/xstate/example/workflow-credit-check/_index.md,sha256=M_c52FGiNHGT1Y5slrOFkjueqvaGYtwCBjaCl-Q0vfU,110
codelogician/doc/xstate/example/workflow-credit-check/workflow-credit-check.ts,sha256=hEO34hMmxy34203rdMbgv12msiOmDuQBMzXbN2G6kSU,4123
codelogician/doc/xstate/example/workflow-monitor-patient/_index.md,sha256=xMNNFCiq5ppx2fWYbjZxMnb0IhI7eXnzOpoLMirPxOc,122
codelogician/doc/xstate/example/workflow-monitor-patient/workflow-monitor-patient.ts,sha256=f_ZPuMDIdKbyUjS7IC3R_vqORhWDvbE-hWIxFU0XcGw,3087
main.py,sha256=NDvbQpKrgbjrrDHzw3bIqMcgDA4WRrPkksztXz72hyQ,4367
codelogician/CHANGELOG.md,sha256=x2Mb1-hzLyflmntiR0LN2kmSjbQn5C7FGVjKmm_Umto,5216
codelogician-2.15.1.dist-info/METADATA,sha256=KJHQ93rOknlsGanaqQoh6oO7_mCeBS9ie3KeCqM4RE8,3149
codelogician-2.15.1.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
codelogician-2.15.1.dist-info/entry_points.txt,sha256=DNlANyGmXqrGlTLoINZv6pBR54Ffx1uES740vdzOg-8,98
codelogician-2.15.1.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
codelogician-2.15.1.dist-info/RECORD,,
