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