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