aboutsummaryrefslogtreecommitdiff
path: root/Data/Hypergraph/Base.agda
AgeCommit message (Expand)Author
11 daysSplit hypergraph label and edge into separate filesJacques Comeaux
2025-07-03Finish strict total order for hypergraph edgesJacques Comeaux
2025-07-01Begin strict total order for hypergraph edgesJacques Comeaux
2025-06-19Add new hypergraph definitionsJacques Comeaux