aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Braided
AgeCommit message (Expand)Author
46 hoursAdd symmetric monoidal structure to Pull and SystemJacques Comeaux