agda-2.6.3.dist-info/RECORD,,
agda-2.6.3.dist-info/LICENSE,sha256=TFYGq7nMYwWoEhrDp5cpzftzCOrcwlXLKpDLsBkmqis,1066
agda-2.6.3.dist-info/WHEEL,sha256=YNh-Ns7NT0EwYKTBKjw965f6Nw4pj1umr6P9zNLxR2w,109
agda-2.6.3.dist-info/entry_points.txt,sha256=ZB9dqP6YQG11A8Z3WcgsbE0E47h7gawFlf-U08ovnqg,80
agda-2.6.3.dist-info/top_level.txt,sha256=88XvtZ_oCo0WpIgK7LXBbbTuYah6mUZ3iqg0WClwRIA,5
agda-2.6.3.dist-info/METADATA,sha256=2B4QtUzOCobUdCLGgxSzzpiQwIUGMUS_6-vhbWdoYjE,1998
agda/_binding.cpython-37m-darwin.so,sha256=LJ5wbj662ULFaonaBw3W5ZnPuxg1nDHQvd4si5jACYs,184968478
agda/Binding.hs,sha256=poR7YrRRegKlj98eK7fUubWgaTnyReijiBReZhU8K6Y,1461
agda/__init__.py,sha256=L9PkxK9eQNJn29gsei3c2k4MotBrgTi2kluBMQK-tqk,460
agda/binding.def,sha256=x7gLyv2JWYW4bNIcn-2mQaMqx9liTEIhilaw-N6J144,26
agda/binding.i,sha256=t_9pMVDZIaH8pu-9eRk9upwVLwVvicqBTW8k-lLe79A,1262
agda/_binding.py,sha256=QeGvbyJTuTgjyCciHXZTxVN-Xw5dF3JKJgPvIKe3diw,580
agda/binding.py,sha256=LsQhDjMR5Hnrw6xDcM62mwN2_NYHRfABo63iyPNo1KU,2419
agda/__main__.py,sha256=NqBBt-d-LglK0xs_3PWpt2FCMS8y8E5ZYn_eeby6Af0,339
agda/mode/__init__.py,sha256=efjwkiY_7OIqsq7mhy-HIfhH_PoLd3CyfHPbSMWwR2o,276
agda/mode/__main__.py,sha256=OJSyPO6kUjnbFw6Ym0lYOLmaDCgHNITKu6KS6VPY2FY,354
agda/data/JS/agda-rts.js,sha256=4LIqGC-WdC61RGbW08v4fnWysCit-fJGFFeZgqesZ00,11072
agda/data/latex/postprocess-latex.pl,sha256=vej55F4DMN1SzRLpIsgfOMcSQSSMONKy1JkSLOBPrpo,466
agda/data/latex/agda.sty,sha256=SH__IIkGOTzG8pJM-V0qfQ-IXIE9SdaIFVXzd8x9s-I,25934
agda/data/html/highlight-hover.js,sha256=qVLTGSMPJ-cVBjVyElKMAsjzgq7zBtVzJxwbK_CCWew,833
agda/data/html/Agda.css,sha256=Nk4StfSMDfoo-6OqvfpRqRXUbMOXK_UjAbfd8vgXC-I,1793
agda/data/lib/prim/Agda/Primitive.agda,sha256=Hib9DbQLHBDbF7C3jWTIWDHjdKkpkMqbN1szt4HjkHs,954
agda/data/lib/prim/Agda/Primitive/Cubical.agda,sha256=LUN4NtYgcwD9lZsqsy7s06Qm5dCJkOeAiH4Pg1kCeGU,2240
agda/data/lib/prim/Agda/Builtin/TrustMe.agda,sha256=Seab8oDuv8hfqVd0QW4oYLC1zcC8m_X9duOHL390114,421
agda/data/lib/prim/Agda/Builtin/Bool.agda,sha256=3Fl18_EPEIYBXrzfQmAxu2aSfVvjKA5ozY6y2bBACGQ,432
agda/data/lib/prim/Agda/Builtin/FromNeg.agda,sha256=_CGYHj-j9OJnljx_SRrmYTVAcx2si2apl708JzrY3B0,442
agda/data/lib/prim/Agda/Builtin/FromString.agda,sha256=mh4HZzhiGBWjFpbyKwkt74dLY3aNpsgYO2CTfYhp4Eg,472
agda/data/lib/prim/Agda/Builtin/Strict.agda,sha256=OvowEDHnkGQvO4uvZZhpVTN2XkMsh5nw3ImhosizL14,366
agda/data/lib/prim/Agda/Builtin/Char.agda,sha256=k2mXj0aTPDaYmtfRiKLMnKg_Z0MC_WNCmHcPXxSpxbQ,538
agda/data/lib/prim/Agda/Builtin/FromNat.agda,sha256=RcRqlvobY4jc8P62E1gbFsdkxo_JujVQLqA3YGnccKU,436
agda/data/lib/prim/Agda/Builtin/Coinduction.agda,sha256=kaoZjXmVMUc03eXMj3lcrfLZNncmK9r5tyC4yoGdkjw,398
agda/data/lib/prim/Agda/Builtin/IO.agda,sha256=nvDlBtlsiYUs7llDCz5mY675n2SqhXt4hX0sUe4QF7o,281
agda/data/lib/prim/Agda/Builtin/Int.agda,sha256=tIHbXsK-ABS_hx5rTeqjAeLvFyk22XStpAbSjVKbKtI,457
agda/data/lib/prim/Agda/Builtin/List.agda,sha256=LJN_Nn-_mVtKiLa34xWS30_wlwOD1WEKlspYDuETUXU,512
agda/data/lib/prim/Agda/Builtin/Maybe.agda,sha256=JBkpgooZ3vCMpOri3v8Y8JasBW0qsLklDacQutKpv0Q,225
agda/data/lib/prim/Agda/Builtin/Equality.agda,sha256=gjCc7Kl20mjqLS763fYTEalaani1CvCMjhEcWG1rcB8,242
agda/data/lib/prim/Agda/Builtin/String.agda,sha256=Yo1Drpo7LDDRmXi0WadJ5N7teb2WaT2oT_OIwBzN2ds,1560
agda/data/lib/prim/Agda/Builtin/Float.agda,sha256=74Cnwpbs5JvUxi-thjPtUEPrlqqK1nKse3hmskqHGdw,6425
agda/data/lib/prim/Agda/Builtin/Word.agda,sha256=AiIuwCeqhBtDQuXX_ScCf2wLR59I7bMGPYSx5p31RFg,318
agda/data/lib/prim/Agda/Builtin/Size.agda,sha256=oRUD2jcvc8nlwFD_ze29fV8GQNOH-WwWZwg7l3WY77E,608
agda/data/lib/prim/Agda/Builtin/Reflection.agda,sha256=FKeNVOTRvLu13wnc4LK-_eElcezvatls08P-10HsgQw,16720
agda/data/lib/prim/Agda/Builtin/Unit.agda,sha256=stFyrNBA8PDrOOqYfA-VYcCmvpHU37etu7kGrAosPL8,264
agda/data/lib/prim/Agda/Builtin/Nat.agda,sha256=8Cm2hGmj3V_Im4_ywKNdeRull2RZmGJxgbITE8wTW_E,4059
agda/data/lib/prim/Agda/Builtin/Sigma.agda,sha256=KWk_2IOP-Y48WGlfxDp1SURsZpPg9tQDc0ikHwJKbWM,318
agda/data/lib/prim/Agda/Builtin/Char/Properties.agda,sha256=wr2xB7XxdxTzuSwKijQL2DUPweoD5MmA_YeHj7dt_w8,285
agda/data/lib/prim/Agda/Builtin/Equality/Rewrite.agda,sha256=2cmIos-cv9dgVFNqfr1M_lBTmOBdunCYyHrbqDrKfYY,193
agda/data/lib/prim/Agda/Builtin/Equality/Erase.agda,sha256=WUvxKJm6uhCK2DuUOOcvM1f6I6gGYhhLh3RSM7qU7wk,228
agda/data/lib/prim/Agda/Builtin/Float/Properties.agda,sha256=Y4J38jLMFyQC7o4mfBY9LwrdJJtHOBCcqFvOnhS7I44,299
agda/data/lib/prim/Agda/Builtin/Word/Properties.agda,sha256=VhpRp89vp5FATqNInTHi9qFxhmpWJPgplZ9cm7g2DmE,291
agda/data/lib/prim/Agda/Builtin/Cubical/Path.agda,sha256=-aH4uOBGJ4o6Gy3yHzn0wrgd9G3uS6G-x7X_Si2uQVw,411
agda/data/lib/prim/Agda/Builtin/Cubical/Sub.agda,sha256=gNNpfl9NfgW5uVsU4sCAVPJPUtwbDRMoO1H6K-1G-1A,480
agda/data/lib/prim/Agda/Builtin/Cubical/Glue.agda,sha256=5i7IO8CRLx-Yk_xyoS_HWIf_0oau0UP0ZySVGN6Z1dY,4377
agda/data/lib/prim/Agda/Builtin/Cubical/HCompU.agda,sha256=xqb4egAQvwN2YMKN6DMIdC-DicDZ5nGPMVkN2Vb6KZ8,3518
agda/data/lib/prim/Agda/Builtin/Cubical/Id.agda,sha256=XhJ2FGemlWaOROM9QPj4IiqAUPBpQHkWNwtF9UYEIi0,1931
agda/data/lib/prim/Agda/Builtin/String/Properties.agda,sha256=_kkjdVJ2hJP8pFr016-NNnH0DJSOOCzPbeUWDhNrbec,400
agda/data/lib/prim/Agda/Builtin/Reflection/Properties.agda,sha256=rYKSp5MQ1Va8d1eTKtElVLd1lCMQ9wA_mt--r9-jPVk,399
agda/data/lib/prim/Agda/Builtin/Reflection/External.agda,sha256=iuSlztNidDUEkdH4xTcOzJBO7V-I8AMS-2J6uH9cySQ,494
agda/data/MAlonzo/src/MAlonzo/RTE.hs,sha256=Ll_gipR7NUmGcfkI_8UhFmL2yV59gaLFi5eQzWqWE0s,2599
agda/data/MAlonzo/src/MAlonzo/RTE/Float.hs,sha256=ZxJbmLzjkGp6H88Qym96o5VkZDYR-sXaYSDbwkxOlWI,8335
agda/data/emacs-mode/agda2-queue.el,sha256=nVl-pytYmzPWtPTMFocG67Ak4TWRpns8Buew4plwVRk,1487
agda/data/emacs-mode/annotation.el,sha256=m81TGB90XWFcarUtnDKIrOXgp-Dse4GsRpgU1DMjX6M,12007
agda/data/emacs-mode/eri.el,sha256=5A7T2LK-vTxuQTIDjp4n9jlQ6xlusnuO6ra0951B0e4,7115
agda/data/emacs-mode/agda-input.el,sha256=1n3UbYAVYzRyxfpVrTNow_Y6CHes31Jr8vlUiTlD2NA,43148
agda/data/emacs-mode/agda2-abbrevs.el,sha256=NefAHS5Mzr36ZP8guvILDNeqjutsBNIPRFXTOCFm8PY,2663
agda/data/emacs-mode/agda2.el,sha256=GnptBXME7AyDTkljMdz3Qj9iK_SGTBuQPZH0T844Rh0,598
agda/data/emacs-mode/agda2-mode.el,sha256=CUUz57XW9M8MN3x2nBeheKTVSYe9M2FuyS_ExuBPK80,82341
agda/data/emacs-mode/agda2-mode-pkg.el,sha256=PW0geD9AlQIR50bdAr-dedp1HCQmzzNtfx3e_XylJoY,179
agda/data/emacs-mode/agda2-highlight.el,sha256=PGj61UnUrtot-QnVahKreEQ49F5rAPQquUd17D5rwcw,24611
