aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation/Instance/MultisetAppend.agda
AgeCommit message (Collapse)Author
2025-12-09Add free commutative monoid functorJacques Comeaux
2025-11-05Add free commutaive monoid functorJacques Comeaux