aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Looped/Monoidal.agda
AgeCommit message (Collapse)Author
5 daysFinish merge and split symmetric monoidal functorsJacques Comeaux
6 daysConstruct monoidal merge functorJacques Comeaux