aboutsummaryrefslogtreecommitdiff
path: root/Data
AgeCommit message (Collapse)Author
27 hoursAdd S-Expression parser and circuit typecheckerhypergraph-conversionJacques Comeaux
27 hoursFinish strict total order for hypergraph edgesJacques Comeaux
3 daysBegin strict total order for hypergraph edgesJacques Comeaux
2025-06-19Add new hypergraph definitionsJacques Comeaux