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