agda / agda

Agda is a dependently typed programming language / interactive theorem prover.
https://wiki.portal.chalmers.se/agda/pmwiki.php
Other
2.39k stars 337 forks source link

Follow hlint suggestion: use empty #7239

Closed philderbeast closed 1 month ago

philderbeast commented 1 month ago

See #6442. Follows use empty suggestion in a test.

On the one hand this disrupts the Map.fromList pattern in the test but on the other hand Map.empty is the same and is shorter (and skips the [] first pattern match of Map.fromList).