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