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