aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Core.agda
AgeCommit message (Expand)Author
47 hoursSimplify wiring diagrams using semiadditive daggermainJacques Comeaux
2026-03-14Add wiring diagram equalitiesJacques Comeaux
2026-03-14Refactor wiring diagramsJacques Comeaux