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