aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation/Monoidal
AgeCommit message (Collapse)Author
2 daysAdd Monoidalize functorJacques Comeaux
2025-11-14Generalize ListOf construction to arbitrary monoidJacques Comeaux