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

Follow hlint suggestion: redundant section #7246

Closed philderbeast closed 1 month ago

philderbeast commented 1 month ago

See #6442. Applies the redundant section suggestion of HLint.

Removing the *.CompiledClause.Match module redundant section exposed one more redundant bracket. Rather than have that count increase, I removed the redundant bracket too.