search

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.
https://wiki.portal.chalmers.se/agda/pmwiki.php
Other
2.4k stars 339 forks source link

Revise 2.6.4.3 for GHC 9.10.1 #7259

Closed andreasabel closed 1 month ago

andreasabel commented 1 month ago

Published as revision 1 of 2.6.4.3: https://hackage.haskell.org/package/Agda-2.6.4.3/revisions/ https://github.com/agda/agda/releases/tag/v2.6.4.3-r1