aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Instance/Nat/Circ.agda
AgeCommit message (Collapse)Author
2025-11-09Use functional vector in edge definitionJacques Comeaux
2025-11-05Add Circ symmetric monoidal functorJacques Comeaux