aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Monoidal.agda
AgeCommit message (Collapse)Author
6 daysConstruct monoidal merge functorJacques Comeaux
6 daysShow category of maps is monoidalJacques Comeaux
8 daysUpgrade Push + Pull to symmetric monoidal functorsJacques Comeaux
10 daysAdd braiding to wiring diagram monoidal structureJacques Comeaux
11 daysShow category of directed wiring diagrams is monoidalJacques Comeaux