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

re. 7218: Saturate opaque blocks after Give commands #7243

Closed plt-amy closed 1 month ago

plt-amy commented 1 month ago

Fixes #7218. I'm going to head off for lunch but I'll write an interaction test when I'm back. Useful to get a CI run in the meantime.