aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Braided/Strong
AgeCommit message (Collapse)Author
3 daysAdd symmetric monoidal structure to Pull and SystemJacques Comeaux