Refactor `Data.List.Relation.Binary.BagAndSetEquality` - #2321

Merged

MatthewDaggitt merged 2 commits into

agda:masterfrom

jamesmckinna:BagAndSetEquality

Mar 17, 2024

Commits on Mar 16, 2024

easy refactorings for better abstraction
jamesmckinna
committed
c5051a1

Commits on Mar 17, 2024

tweaking irrefutable `with`
jamesmckinna
committed
f79d1bc