aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/WiringDiagram/System.agda
AgeCommit message (Collapse)Author
2026-08-15Add monoidal structure to system functorJacques Comeaux
2026-07-31Update system functorJacques Comeaux
2026-07-13Construct Sys functor from wiring diagrams to CatsJacques Comeaux