LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
pyproject.toml,sha256=4oiwuNBZPo77nZB6p8bYCY8YJtqssXlfll4Pd9XRdj8,4503
codelogician/README.md,sha256=YJ3HPR_G97U516rTex6kKg33kkO2bsEM-Nzg7HhOsZE,2026
codelogician/__init__.py,sha256=EB9uEWfzMiaiiFi9xuLbEc2B2oazRZhCJ4BtMOZ198A,625
codelogician/clite.py,sha256=c3tJRkEJljBMpWwqF87UrZQ2G82OeRhywRKNuhcxPs0,861
codelogician/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
codelogician/update_check.py,sha256=hc3Rqyu82sXy2w66AA_Jr3D7rMcKTRJw0cR2lEAWlcA,4599
codelogician/util.py,sha256=7mHH_VwY_0y7kOZyN6EUBse6-nB9kcihR-4JTOODlCI,4444
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=26XKmMNAnpTFOJodMOMkoaEwJiu0SLglmEjdlOKBpZU,5324
codelogician/commands/cmd_eval.py,sha256=zSew4DbWxWFFTJ6xqDKrQoqsKaxzjGQrXrJp74yUwko,32327
codelogician/commands/cmd_rec.py,sha256=_YzBvfpYcHrhfGmHYq3Y1jOvIsgoaBoTvxJM7syRl9U,2541
codelogician/doc/UPSTREAM_REV,sha256=RK-XM_tlmNlWXH9I5lTWCY7PY8iceImwmcRHMbuWhaU,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=s_r7yXyGbXjfwzK5DtJXCY9UEb3_Uy4q4ouuct6w4_c,6964
codelogician/doc/skill/codelogician-cli.md,sha256=rzQ7pQUk4f_FjPYlCtU07Aafke6s5Uli4K121XUP8Io,3452
codelogician/doc/skill/iml-syntax.md,sha256=5neQNmKP82kvJ4k_fFI7adVk7xw2DhGJC2cyMwFdhRo,9366
codelogician/doc/skill/import-syntax.md,sha256=idMk5GKVfxO1vuhpRr8r8SRL4FtG3tO-Xmv71LyI_Xs,949
codelogician/doc/skill/region-decomp-intro.md,sha256=aSPwLLSh_rt4sfG0oy8dhzD5GYyMPsf76rd0ip7Wrko,5093
codelogician/doc/skill/unit-testing.md,sha256=7CZn_n7ad-gUvm9YkSgWELjpBQIZvry_8TJOtQtmkfg,1977
codelogician/doc/skill/verification-with-verify-and-instance.md,sha256=I6OiLjZBOTeP55CqmzfLsXawjeRBWcfnTWfy1qgY9XA,1485
codelogician/doc/skill/advanced/avoid-higher-order-functions-in-proofs.md,sha256=FMsiHdvqAuCcqP2oJATMrI-5TcB7m3ggp5DRn14jT_A,3511
codelogician/doc/skill/advanced/contingency-corner.md,sha256=N3Np2fX_v6E1QAHgX-jipTX2smN0whArjcysJc9Alic,290
codelogician/doc/skill/advanced/full-verification-guide.md,sha256=AJlZbGQGeEbZD6hjNH9CeZbVXfqW4WjX7tHf90VGakE,7862
codelogician/doc/skill/advanced/opaque-functions.md,sha256=I_3MYViA3g0MZNKVVKMgLLcEK4CwdWcSaerk_V6vSWs,1155
codelogician/doc/skill/advanced/proof-tips.md,sha256=lKgc3hmCbwLWZtgltzTXPwr5gaKe6PDHtaqLGpwnYY4,1261
codelogician/doc/skill/advanced/region-decomp-advanced-features.md,sha256=dYqDd35SIAfxrliGgFGcIkzJhDzzIC6YtTEBIPDAq34,3035
codelogician/doc/skill/advanced/termination-proving.md,sha256=1w7DPb5BzbqDrCeRRji9AlfCzTkLKX9_w8spCkRixH4,4192
codelogician/doc/skill/error-fix-data/README.md,sha256=xA4nxhFs8BNpdHXM-v7VhVPVdUqYsFLFk1go7toK9tI,929
codelogician/doc/skill/error-fix-data/iml_eval_corpus.json,sha256=ZjW7iGR6t1q8MpiwqFeDf_rmhWDpx0FCUQ5x_UefZGY,15457
codelogician/doc/skill/examples/basic-iml-syntax.md,sha256=tPALh2fA1B0zwKZRczOdwu96qvpSAR6aXg40fKfaWO8,6775
codelogician/doc/skill/extended-prelude/README.md,sha256=U-CYw5_Mci1X9ZuyvntmS16T2nabVtQYhF-JYsedZDY,600
codelogician/doc/skill/reference/all-prelude-module-signatures.md,sha256=XTTKD4G4gfKaC-lVLn6wgTNGQSMrHpx_VH1OWySgSso,14874
codelogician/doc/skill/reference/ordinal.md,sha256=BS7Lrii0NgHgSs5T7ON02Fi_vyXraGbmhWtsSidolzU,1764
codelogician/doc/skill/reference/tactics.md,sha256=_g0HkX7Yqq7HVsu5Dapqe-nmCOsDharlxSS8ORqqBkg,10493
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/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=LM_kzp54Gn9lkE3GarCw_VpWJyVoyG6hP3JNNdTMsTw,4240
codelogician/CHANGELOG.md,sha256=mGhtjUwqeGeFaEq7ZHKqjauGubgMgfsjZivI8pOwH0Q,4917
codelogician-2.14.0.dist-info/METADATA,sha256=FgaPx9yxluNTB4ylHtiVUWY2daDIG7D4Mk3wOWRxKb8,2998
codelogician-2.14.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
codelogician-2.14.0.dist-info/entry_points.txt,sha256=DNlANyGmXqrGlTLoINZv6pBR54Ffx1uES740vdzOg-8,98
codelogician-2.14.0.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
codelogician-2.14.0.dist-info/RECORD,,
