Various extra monoid-related definitions and utilities, such as monoid actions, monoid coproducts, "deletable" monoids, "split" monoids, and "cut" monoids.
To install,
cabal install monoid-extras
Hazelfire/monoid-extras
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|