agda-2.6.4.3.post1.dist-info/RECORD,,
agda-2.6.4.3.post1.dist-info/LICENSE,sha256=TFYGq7nMYwWoEhrDp5cpzftzCOrcwlXLKpDLsBkmqis,1066
agda-2.6.4.3.post1.dist-info/WHEEL,sha256=TG9Y8sTXsya5EBQRS9x70hlbDIJFmENHUDctzT_gJ2g,107
agda-2.6.4.3.post1.dist-info/entry_points.txt,sha256=ZB9dqP6YQG11A8Z3WcgsbE0E47h7gawFlf-U08ovnqg,80
agda-2.6.4.3.post1.dist-info/top_level.txt,sha256=88XvtZ_oCo0WpIgK7LXBbbTuYah6mUZ3iqg0WClwRIA,5
agda-2.6.4.3.post1.dist-info/METADATA,sha256=eos8IG4EwghLbRe0ZsHIsGSVbIc215RIaUzrB084JvI,3987
agda/Binding.hs,sha256=poR7YrRRegKlj98eK7fUubWgaTnyReijiBReZhU8K6Y,1461
agda/__init__.py,sha256=4jZAObcW_Mcs9BfRpeq-V3Nfl4zrGetSZ2W3P4I6cXQ,462
agda/_binding.pyi,sha256=-Q2FcwtrVf3y98OaAjxq9tVvliPMC5kXj7QQ5EIfPfg,276
agda/_binding.cpython-39-darwin.so,sha256=G25jEtnHZo-j59I3XfJbbFXmEg2iLFPGzd_Ap4_Jgtw,148597360
agda/binding.def,sha256=x7gLyv2JWYW4bNIcn-2mQaMqx9liTEIhilaw-N6J144,26
agda/binding.i,sha256=t_9pMVDZIaH8pu-9eRk9upwVLwVvicqBTW8k-lLe79A,1262
agda/_binding.py,sha256=XImcPYlOIstr_dT9qMD68Ay7vPUB4mmduZ818hEKk3Q,579
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/README.md,sha256=nHj4U9my6A68tX23hvCeLWK7j9EJg7s1sETA1oUBj5M,537
agda/data/JS/agda-rts.amd.js,sha256=PWDNT7UuivW02r8jNuMrWhtghMU_JTIQilPJloWk4N0,10598
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=a7W8ZM-S_ZhtwNGDtqZWs0jawiEJf1-6wFy_nGVXdC4,25936
agda/data/html/highlight-hover.js,sha256=3zLI9Z2uAvG9wZg33P56MLdkpDUl0mbL9yM-0-UxFYM,1333
agda/data/html/README.md,sha256=TMU_z9jIluvJpH7lFpOkEgMPHUKDlVXGCWpGb_Ap6P4,71
agda/data/html/Agda.css,sha256=Nk4StfSMDfoo-6OqvfpRqRXUbMOXK_UjAbfd8vgXC-I,1793
agda/data/lib/prim/agda-builtins.agda-lib,sha256=8sgI4Q-JrB8oyaZhzEL-evU0vA8a1y7I1hU7tvCmfeA,31
agda/data/lib/prim/Agda/Primitive.agda,sha256=5eTgSQDPGiggLi_ya7INb6ZAH8yfQEnNjRT-3VvWl_g,1112
agda/data/lib/prim/Agda/Primitive/Cubical.agda,sha256=LUN4NtYgcwD9lZsqsy7s06Qm5dCJkOeAiH4Pg1kCeGU,2240
agda/data/lib/prim/Agda/Builtin/TrustMe.agda,sha256=9MeKkqBwJmswCp3kw09O_auabt6FNfatE3OYjETY0E4,438
agda/data/lib/prim/Agda/Builtin/Bool.agda,sha256=UU-iWg33BkzbITUHoPYzLJcoilLVOL46nfBsxwAbp_U,449
agda/data/lib/prim/Agda/Builtin/FromNeg.agda,sha256=cxrkahNhefkN8bkNhuZ4K5tsrkokixTie2QdoUlKCBA,459
agda/data/lib/prim/Agda/Builtin/FromString.agda,sha256=6CdXwtkKYf8mXe-lcPX_ewAv16uvOFrOSjIRPhy8F7I,489
agda/data/lib/prim/Agda/Builtin/Strict.agda,sha256=xfTSvx6Wt6eaAe6YKKclAcXE48L4dr8lM845QZoLOp8,383
agda/data/lib/prim/Agda/Builtin/Char.agda,sha256=cnRhbP8uR6QvirtjdX3tLRZkiZ0FZHavHqI76Evl3HU,555
agda/data/lib/prim/Agda/Builtin/FromNat.agda,sha256=bhuXxtx2kLNUeVvC5IY33Usr0tpmgTh52jBW2lo4kvw,453
agda/data/lib/prim/Agda/Builtin/Coinduction.agda,sha256=mb2INq1IsBpVsvzuWrgd0qXjRwuSTNP3hQDr9ROQjPw,415
agda/data/lib/prim/Agda/Builtin/IO.agda,sha256=4F4nu107JblaNk15w0DCpsi_5mmBSgecZ7T6zBnDRa8,298
agda/data/lib/prim/Agda/Builtin/Int.agda,sha256=TfNB4HS4Re3Ifcj4NIljXCWA6CIrFMu5RB-r9kxBOD4,474
agda/data/lib/prim/Agda/Builtin/List.agda,sha256=OHx1pl8PFNxiaKjPhMk7gLcTnw6Qum2NbWcvAsKIIZU,529
agda/data/lib/prim/Agda/Builtin/Maybe.agda,sha256=mC9_Kvv7xKxBtr2v3fteAypd36ceIE85u-zCOWfcSAg,242
agda/data/lib/prim/Agda/Builtin/Equality.agda,sha256=VzXtsL5-UwEzgU6UMdFGa7HniSwqR0bBoNKjoNvqkc0,259
agda/data/lib/prim/Agda/Builtin/String.agda,sha256=RlWzvisiek5jeEHJssmhZFbo1ygjol_0iIeOLqBgoig,1577
agda/data/lib/prim/Agda/Builtin/Float.agda,sha256=nBmfYFBLkoAzMx6kG-NmZIjkIBRqlTCED0GKQMahRC0,6442
agda/data/lib/prim/Agda/Builtin/Word.agda,sha256=r1kWaj1i23x0xS93u0Nim4FmjyTLqGSBySGyjHamD80,335
agda/data/lib/prim/Agda/Builtin/Size.agda,sha256=y_Zp5NCJzruekhg2AC6A5gZ7vvPUkWUb6s9kFXt1wgk,625
agda/data/lib/prim/Agda/Builtin/Reflection.agda,sha256=Kk_XSpG2fX8DC6DA6xmV4TJUR6fjho4odhUUPbGYS3Y,19909
agda/data/lib/prim/Agda/Builtin/Unit.agda,sha256=A9Big_nYAFvv-Z_ULeOLcxWqdpcJnqIvwZ0GBgCxYkk,281
agda/data/lib/prim/Agda/Builtin/Nat.agda,sha256=Lmgdnd6aOUYDZO53UYHzH3vLfrpyIL0quOTes9AtlMk,4076
agda/data/lib/prim/Agda/Builtin/Sigma.agda,sha256=XDk_Iws1kDL2T_eK1pN5mhYtv5ytogiQSK7bTG9mnh8,335
agda/data/lib/prim/Agda/Builtin/Char/Properties.agda,sha256=FbYJuP9piBiuRr7MPygdCR88I7UyGHUOC49PPyB7pW4,302
agda/data/lib/prim/Agda/Builtin/Equality/Rewrite.agda,sha256=kDUhLcnch-fxSXGxvn81aBq63t-WLNkaNbcgaaHLlUA,210
agda/data/lib/prim/Agda/Builtin/Equality/Erase.agda,sha256=ELMUMAQvQ8lupoxLL8XBNEJVXeHY-xtEvf3Qgb-YSdM,245
agda/data/lib/prim/Agda/Builtin/Float/Properties.agda,sha256=43oRQKDke21OsEOhCRa-iJalPWJ6jk-aJqD3ovw6EGs,316
agda/data/lib/prim/Agda/Builtin/Word/Properties.agda,sha256=XCKWX7simbrMhzrTYj0bscf61dF7O7LMwYFu4dylEVs,308
agda/data/lib/prim/Agda/Builtin/Cubical/Equiv.agda,sha256=MzZ0tOts9WRxVxeWNVcVt6nL9recJffKqU4IUmlvzWI,3849
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=fJLP0POqSL2-CY9BTHETWuKLQVSN9L4mookx9n1jIII,749
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=Ywp_feePJ59lCNhQxwdTUz3sSY2G_TTWamnYFUO0W3M,417
agda/data/lib/prim/Agda/Builtin/Reflection/Properties.agda,sha256=EU1ihQESlxz0HwTF963dviYVgnQA2rNXYjXzBElGsmQ,416
agda/data/lib/prim/Agda/Builtin/Reflection/External.agda,sha256=6VqeuZx5CMs0RvyGwU-mM-8Go0MIeAz0-MADGufW-Zk,511
agda/data/MAlonzo/src/MAlonzo/RTE.hs,sha256=3YZYF_YGqshPGna6BoMiMoTQXvkX2joU0qHhgD5MqgQ,2859
agda/data/MAlonzo/src/MAlonzo/RTE/Float.hs,sha256=82lexuT3i-yt282CAmrUJ-AmxWL7vY6Xx0ZOkuvCQLc,8630
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=SadP42ggYELL0tau6Akoq5a5M3q3QNT-1V9LUEoSYbA,43857
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=cnUio8FkR4tiN8cDJWgziEBJe2UfE0sdFeH6AyVbATI,82385
agda/data/emacs-mode/agda2-mode-pkg.el,sha256=kq61qXmGZXGz1wiD3uX1ojL5yyk_k6nh6a-OF-FcLsI,242
agda/data/emacs-mode/agda2-highlight.el,sha256=powOGuRakes3Z60JGiwUjfLR5OfUb5GYroaJm6YIuHs,22864
