aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation/Instance/EmptyMultiset.agda
AgeCommit message (Expand)Author
6 daysAdd free commutative monoid functorJacques Comeaux
2025-11-05Add free commutaive monoid functorJacques Comeaux