aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation/Monoidal/Construction
AgeCommit message (Expand)Author
21 hoursAdd Monoidalize functorJacques Comeaux
2025-11-14Generalize ListOf construction to arbitrary monoidJacques Comeaux