aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Monoidal/Braided.agda
AgeCommit message (Collapse)Author
2026-08-03Show category of maps is monoidalJacques Comeaux
2026-07-31Add braiding to wiring diagram monoidal structureJacques Comeaux