HLint list element suggestions

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Other

2.41k stars 339 forks source link

Closed philderbeast closed 3 months ago

philderbeast commented 3 months ago

See #6442. Follows "use elem" and "use notElem" suggestions.

philderbeast commented 3 months ago

Infix, happy to oblige. Thanks for suggesting it @andreasabel.

andreasabel commented 3 months ago

Thanks!