issues
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 stack*.yaml and submodules (prep 2.6.4.3)
#7153
Closed
andreasabel
closed
4 months ago
andreasabel
commented
4 months ago
Bump stackage snapshots to latest
Bump std-lib and cubical submodules to their latest master
Will be cherry-picked onto the 2.6.4.3 branch.
Will be cherry-picked onto the 2.6.4.3 branch.