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-monoid80.01derive Semigroup/Monoid/IsList (derive-monoid, derive-monoid-, library, mit, program)2017-05-010.0.1sboo