aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Balanced.agda
AgeCommit message (Expand)Author
2026-03-25Add pull functor from relations to wiring diagramsJacques Comeaux
2026-03-14Add wiring diagram equalitiesJacques Comeaux
2026-03-14Refactor wiring diagramsJacques Comeaux