aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Strong/Properties.agda
AgeCommit message (Collapse)Author
4 daysAdd symmetric monoidal structure to Pull and SystemJacques Comeaux
5 daysAdd inverted unitary rules for strong monoidal functorsJacques Comeaux
5 daysAdd inverted associativity for strong monoidal functorsJacques Comeaux