aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Full.agda
AgeCommit message (Collapse)Author
4 hoursRefactor wiring diagramsJacques Comeaux
5 daysAdd preliminary category of wiring diagramsJacques Comeaux