aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainAdd monoids / monoid objects in setoids equivalenceJacques Comeaux15 hours