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

Make --postfix-projections the default #7319

Closed andreasabel closed 1 week ago

andreasabel commented 1 week ago

Changing the default to --postfix-projections for 2.7.0 was discussed during one of our dev meetings.

Also closes #7318.