search

agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
585 stars 237 forks source link

[DRY] Refactor `Data.List.Relation.Binary.Equality.Setoid` exports #2490

Closed jamesmckinna closed 1 month ago

jamesmckinna commented 1 month ago

Addresses the two examples of the general issue #2391 , but leaving that open for further downstream instances to be tackled.

NB.:

MatthewDaggitt commented 1 month ago

Looks good!