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