didactic/_self_describing.py,sha256=3xXCqEbHMxQvQok4x9tfT8zUSv0VpypRsVTrTIvYnzk,6413
didactic/api.py,sha256=8cMSfdkmbcto4RJm0a24v8VleWxjA-IWgHAVDKI9wac,5310
didactic/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
didactic/axioms/__init__.py,sha256=YJsUKcRzTGnroE-s3BOsg_ggRbvf46kbSySZLWcXMW0,299
didactic/axioms/_axiom_enforcement.py,sha256=5CItesDIgOHHm9BnmhWObDo0GvGcn0XMXaaWOBgoIHY,22563
didactic/axioms/_axioms.py,sha256=-25zaOMQkPOS05LlyteqTu_zW3z9Z-HIvbyit_6b6CE,3875
didactic/cli/__init__.py,sha256=YR0kLp0eIuyG0F4nCeA03D-RmH1XFlR6CB3p7r3YXlk,97
didactic/cli/_cli.py,sha256=GIO25dtNINJxelP2_KV1dSg5E60nxTKtive9wTUX7Hs,7812
didactic/codegen/__init__.py,sha256=gqAuBcs9FjacEdYzUoJo5oSWx_2SvgkaCt43koau7Uc,1573
didactic/codegen/_emitter.py,sha256=pUYLOmimkt-79qiRcLVt5fIhtnxF4FrQ6d8omHvMY5M,8085
didactic/codegen/_json_schema.py,sha256=m-d4Cj4w137FhXVix5Fraood3FzT3BFaQwHPlVBvBD8,11170
didactic/codegen/_write.py,sha256=MOxIb8xCQOTsJXLugC73Nf-eYt1_kxaXO8KpYDTFALg,3367
didactic/codegen/io.py,sha256=sCw06mF4m9mqAeWLDoMzVlwDkuwoT-QCuVREqhE0_ag,8643
didactic/codegen/source.py,sha256=W8rkh3k-RGw9PkRn8aB2BTbqwaDMaN3JnHkAEqKZf-8,5806
didactic/extensions/__init__.py,sha256=RQUse3m7hCzozco312Un5BdfrTkpXpNbyePRthbDS0o,375
didactic/extensions/_lowering.py,sha256=vs-6kWGT-0YhEPoAKHsuyJIaxajNxdj99xmXUq065Es,5568
didactic/fields/__init__.py,sha256=CTm2ivnYSc-D4HesjWbBnip48a2NAs9f7ORgVsG-pMQ,665
didactic/fields/_computed.py,sha256=DZUmkEATNMaGk-uhFeHqPULX_roRQsL7Ev7dpfNhlBA,4848
didactic/fields/_derived.py,sha256=ab-64mn0Ai8NS1a8e5ufUizq1y7AKQHxSchgAIERIzY,4054
didactic/fields/_fields.py,sha256=b5KVGM8Cocc-0-6kP60tybX-u1gHlWh8S9AithuOUVY,19221
didactic/fields/_refs.py,sha256=6tkuJpbhpMYoHpehG6whlsC6aXdWcy94OOwa94_5xPY,7797
didactic/fields/_unions.py,sha256=_XlYUCPDnXG1LRbGhB8NUHsMYpZYOZftdLjbpgGi6Xk,10623
didactic/fields/_validators.py,sha256=gar84lgCchSxkAeZVKYZooCHOqYJWUi8_loQJuDeCmM,7493
didactic/gadt/__init__.py,sha256=UEbonm19AsLIw96Vt2DwlNdrd-dmDhFVt1h8OyLy5iQ,926
didactic/gadt/_ast.py,sha256=lrnhpTosiW9WqbHhdiz_qEuaGM03gjXKGPcD7ndvUVw,14844
didactic/gadt/_compat.py,sha256=2qIqF_Y7K0z_UKSNgliOJDhEzpNPTXq5YpLEKytRU2g,2418
didactic/gadt/_declarations.py,sha256=PaUBQD3nFXsyGGgDphfy9W94hX9IdHmLC6atZIjHkzA,25334
didactic/gadt/_indexed.py,sha256=ybI1TBE3vbg-QK3Y3KJwHZcf0rniU45Kqog3BKPBHIo,13890
didactic/lenses/__init__.py,sha256=ObESiB4LER-UthhApqiOwt-LqAkJQmERM_uIYWhDSag,599
didactic/lenses/_dependent_lens.py,sha256=QwXDRL9t28a2d72PVMGB7OJsD9qx8XmRYoZ-i0S0BQ8,12845
didactic/lenses/_lens.py,sha256=-KpSLh75rFXAS3tJs767S9u2LHbYxVdp9dpVRup1aMk,14713
didactic/lenses/_morphisms.py,sha256=yRQD6Y9LNTCgbEgk_EG8OanHfJ9Cy9fU22K6qt003tE,5549
didactic/lenses/_testing.py,sha256=-IQufSm2TnwfrdpuEIK6W9120ioJA6IQPr8tOeUI7q4,8991
didactic/migrations/__init__.py,sha256=Gihy-3t1GRXpb0prDi6yJkxiHWCX8R8TfiwD3sKhibg,950
didactic/migrations/_diff.py,sha256=KeCP0MgIWR5Tch_d3sA92IZHJWo2oE76FxDyMt21WxU,4612
didactic/migrations/_fingerprint.py,sha256=6FzD6XoiFSSFTpf9rZ8UDuWMhoYYudqig8nKliehj1s,7476
didactic/migrations/_migrations.py,sha256=SxvJyc13eGCz3Z6BZJOYKeU3cqRmrcOhKoljhlhetcU,16468
didactic/migrations/_synthesis.py,sha256=nAUyZvufFwXh-aYb2XeHw6fQ9iX80Zy2VPrVt3deVA4,4340
didactic/models/__init__.py,sha256=yRS1q3A0ZYLpqHwdX_mUjqol68xI4S2WT2rIl4oSZ1I,543
didactic/models/_config.py,sha256=cv72uoPuNDJw8Lvh8EM2Z5qWJLbmOkxjKmyUqdr-sf8,3976
didactic/models/_meta.py,sha256=ZmuhnN7DgpICFUS9Ql1OPWG_LVCSQAXlxV8V8Qtw9Yo,26929
didactic/models/_model.py,sha256=vRP84fQHZkWV6ouOvIDd2k84k-yog0j6_F6JOvlRX5Y,49257
didactic/models/_root.py,sha256=EmGzDzwFd7rK2Pggg9IKL6Gj1mLSRXsf3Wn_DukCttk,3294
didactic/models/_storage.py,sha256=hru7-818kSYEFYHUpPgPwvQiGtp7SPfy9MFZAC1Bd1A,4438
didactic/synthesis/__init__.py,sha256=1WRFlMVvIe5eOI2l7Zq0l73SssPbN-LV0u2XTBnl5bg,464
didactic/synthesis/_synthesis.py,sha256=T3oRjuEgh5v_bil3eay03kRuzadvJNNpoS5ZbXGWR-I,29033
didactic/theory/__init__.py,sha256=tduMwkxYH97z2DBBvLsTbkX5-UB0qPD4IbXHx5bwv1Q,187
didactic/theory/_theory.py,sha256=rS_NvTSUloJYS3-HWYsteaRc1oyuOLJH44al8CEjF3Q,25149
didactic/types/__init__.py,sha256=-g1NdjXWWJncRud92XtM-zcV0kz42ocY3W5Vs6lKmaE,383
didactic/types/_types.py,sha256=P3Oj5uT9F2LLgMi-C1GDnQHbJfn5UCMNUt7JeCmv1EA,92994
didactic/types/_types_lib.py,sha256=TUq8nV1ZCLyshd9eEulvx8EnjSQ1H9bIe0ws9FYGmjc,3923
didactic/types/_typing.py,sha256=4L3izNkRLjqYO-jhNWDSPDTXKKuYSCRfX_dUnyKtfXQ,5129
didactic/vcs/__init__.py,sha256=rl4QZ3ibosybBjHzC_D3fHpFom1Iy1yWz_ONX1O2okE,296
didactic/vcs/_backref.py,sha256=drkOa9ZuU8QmNbkTZIQnLSZaffwW2oJXpJwoJ900zcw,7305
didactic/vcs/_repo.py,sha256=-52oyXg1w76yzW_jWrvjKtHPOzptHZGEiddaY0MZ0Ts,17552
didactic-0.15.0.dist-info/METADATA,sha256=k4FA0pwXjXdXaPgOrBUBMSe7n9qxQonyd_jFBs0X3nc,2630
didactic-0.15.0.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
didactic-0.15.0.dist-info/entry_points.txt,sha256=LnKROdBC4Hw2UNkt5VeAItxzHOH9vE2yZVaM15cKl8M,52
didactic-0.15.0.dist-info/RECORD,,
