aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Instance/Nat/Push.agda
AgeCommit message (Expand)Author
2 daysAdd symmetric monoidal structure to Pull and SystemJacques Comeaux
9 daysAdd symmetric monoidal structure to Push functorJacques Comeaux