issues
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
Add constructors for custom backend warning/errors
#7314
Closed
UlfNorell
closed
2 weeks ago
UlfNorell
commented
2 weeks ago
Closes #6806
Closes #6806