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