aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Monoidal.agda
AgeCommit message (Expand)Author
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
10 daysShow category of directed wiring diagrams is monoidalJacques Comeaux