aboutsummaryrefslogtreecommitdiff
path: root/Data/Hypergraph.agda
AgeCommit message (Expand)Author
2025-11-03Use permutation for equivalence of hypergraphsJacques Comeaux
2025-10-30Add Circ functorJacques Comeaux
2025-10-29Refactor list-based hypergraphsJacques Comeaux