aboutsummaryrefslogtreecommitdiff
path: root/Data/Castable.agda
AgeCommit message (Collapse)Author
3 daysBegin strict total order for hypergraph edgesJacques Comeaux
2025-06-19Add new hypergraph definitionsJacques Comeaux