aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Looped.agda
AgeCommit message (Collapse)Author
2 daysSimplify wiring diagrams using semiadditive daggermainJacques Comeaux
8 daysAdd split functorJacques Comeaux
2026-03-25Add looped wiring diagrams and merge functorJacques Comeaux