aboutsummaryrefslogtreecommitdiff
path: root/Functor/Free/Instance/SymmetricMonoidalPreorder
AgeCommit message (Expand)Author
12 daysAdd SMP to commutative monoids functorJacques Comeaux
12 daysAdd strong variants of cats to preorders functorsJacques Comeaux
12 daysDifferentiate lax and strong monoidal monotonesJacques Comeaux