aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/WiringDiagram/System.agda
AgeCommit message (Expand)Author
28 hoursUpdate system functorJacques Comeaux
2026-07-13Construct Sys functor from wiring diagrams to CatsJacques Comeaux