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