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
-
Notifications
You must be signed in to change notification settings - Fork 27
Miscellaneous constructions on monoids
License
diagrams/monoid-extras
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Miscellaneous constructions on monoids
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published