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