aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Monoidal.agda
AgeCommit message (Collapse)Author
9 hoursUpgrade Push + Pull to symmetric monoidal functorsmainJacques Comeaux
37 hoursAdd braiding to wiring diagram monoidal structureJacques Comeaux
2 daysShow category of directed wiring diagrams is monoidalJacques Comeaux