aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Balanced.agda
AgeCommit message (Collapse)Author
11 hoursRefactor wiring diagramsJacques Comeaux