aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Instance
AgeCommit message (Expand)Author
39 hoursAdd symmetric monoidal structure to Pull and SystemJacques Comeaux
8 daysAdd symmetric monoidal structure to Push functorJacques Comeaux
13 daysAdd Preimage symmetric monoidal functorJacques Comeaux