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 list comprehension #7200

Closed philderbeast closed 2 months ago

philderbeast commented 3 months ago

See #6442. Follows use list comprehension suggestion.