aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram
AgeCommit message (Expand)Author
2026-03-14Add wiring diagram equalitiesJacques Comeaux
2026-03-14Refactor wiring diagramsJacques Comeaux
2026-03-10Add preliminary category of wiring diagramsJacques Comeaux
2026-03-08Add monoidal category of finite relationsJacques Comeaux