The latest version of monoid-extras is 0.6.3-0.
monoid-extras
Version 0.2.2.3 revision 0 uploaded by BrentYorgey.
Package meta
- Synopsis
- Various extra monoid-related definitions and utilities
- Description
Various extra monoid-related definitions and utilities, such as monoid actions, monoid coproducts, "deletable" monoids, "split" monoids, and "cut" monoids.
- Author
- Brent Yorgey
- Bug reports
- https://github.com/diagrams/monoid-extras/issues
- Category
- Data
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- diagrams-discuss@googlegroups.com
- Package URL
- n/a
- Stability
- n/a