aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainGeneralize ListOf construction to arbitrary monoidJacques Comeaux2 weeks