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
Follow hlint suggestion: use infix
#7201
Closed
philderbeast
closed
2 months ago
philderbeast
commented
3 months ago
See #6442. Follows use list use infix suggestion.
See #6442. Follows use list use infix suggestion.