aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Monoidal/Core.agda
AgeCommit message (Expand)Author
6 daysShow category of maps is monoidalJacques Comeaux
9 daysShow wiring diagram braiding is symmetricJacques Comeaux
10 daysAdd braiding to wiring diagram monoidal structureJacques Comeaux