aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram/Equalities.agda
AgeCommit message (Expand)Author
2026-03-25Add looped wiring diagrams and merge functorJacques Comeaux
2026-03-14Add wiring diagram equalitiesJacques Comeaux