search

agda / agda

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

Bump GHC 9.8.1 to 9.8.2 #7175

Closed andreasabel closed 3 months ago

andreasabel commented 3 months ago

Made possible by: