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

Prevent unintended invoking of stack #7228

Closed chu-mirror closed 2 months ago

chu-mirror commented 2 months ago

HAS_STACK is not used because cleaning might be done without stack.yaml existing.