aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram
AgeCommit message (Collapse)Author
5 daysAdd preliminary category of wiring diagramsJacques Comeaux
6 daysAdd monoidal category of finite relationsJacques Comeaux