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

Build with GHC 9.10 #7238

Closed andreasabel closed 1 month ago

andreasabel commented 1 month ago

I built with GHC 9.10 locally, it seems that only warnings are affected, so 2.6.4.3 could be revised for GHC 9.10 as well.