Packages tagged derive-monoid

1 package has this tag.

[Merge tag] (trustees only)

Related tags: library (1), mit (1), program (1)

Name
DLs
Rating
Description
Tags
Maintainer
derive-monoid80.0derive Semigroup/Monoid/IsList (derive-monoid, library, mit, program)sboo