aboutsummaryrefslogtreecommitdiff
path: root/Data
AgeCommit message (Expand)Author
34 hoursSorted lists with the same elements are equalJacques Comeaux
35 hoursConvert between List and Vector permutationsJacques Comeaux
11 daysFix broken importJacques Comeaux
11 daysSplit hypergraph label and edge into separate filesJacques Comeaux
2025-07-03Add S-Expression parser and circuit typecheckerJacques 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