Packages tagged derive-monoid
1 package has this tag.
[Merge tag] (trustees only)Related tags: derive-monoid- (1), library (1), mit (1), program (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
derive-monoid | 4 | 0.0 | 1 | derive Semigroup/Monoid/IsList | (derive-monoid, derive-monoid-, library, mit, program) | 2017-05-01 | 0.0.1 | sboo |