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