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