aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainAdd monoids / monoid objects in setoids equivalenceJacques Comeaux17 min.