aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Monoidal.agda
AgeCommit message (Expand)Author
2026-08-04Construct monoidal merge functorJacques Comeaux
2026-08-03Show category of maps is monoidalJacques Comeaux
2026-08-01Upgrade Push + Pull to symmetric monoidal functorsJacques Comeaux
2026-07-31Add braiding to wiring diagram monoidal structureJacques Comeaux
2026-07-30Show category of directed wiring diagrams is monoidalJacques Comeaux