agda / agda

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

Error on unsupported -v #7256

Closed lawcho closed 2 weeks ago

lawcho commented 2 weeks ago

Closes #7190

lawcho commented 2 weeks ago

Closing due to this use case:

Behavior before this PR:

Behavior after this PR:

Discussed at AIMXXXVIII with @UlfNorell -- the old behavior is desired