aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
hypergraph-conversionAdd S-Expression parser and circuit typecheckerJacques Comeaux14 hours
mainAdd racket language for labeled hypergraphsJacques Comeaux7 weeks