aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat/Circ.agda
AgeCommit message (Collapse)Author
2025-11-09Use functional vector in edge definitionJacques Comeaux
2025-11-05Adjust universe levelsJacques Comeaux
2025-11-03Use permutation for equivalence of hypergraphsJacques Comeaux
2025-10-30Add Circ functorJacques Comeaux