aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
hypergraph-conversionImport missing pattern synonymJacques Comeaux3 months
mainAdd Push and Pull functorsJacques Comeaux3 days