aboutsummaryrefslogtreecommitdiff
path: root/Data/Opaque/Multiset.agda
AgeCommit message (Collapse)Author
8 daysAdd free/forget multiset adjunctionJacques Comeaux
9 daysAdd free commutative monoid functorJacques Comeaux