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

bump ci ghc 9.10.1 #7282

Closed andreasabel closed 3 weeks ago

andreasabel commented 3 weeks ago