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

Remove some GenericErrors #7235

Closed andreasabel closed 1 month ago

andreasabel commented 1 month ago
  1. new error ContradictorySizeConstraint: There is no reproducer for this error, and I couldn't come up with one even though I tried for a while.
  2. new error UnusableAtModality

Part of