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