This library provides constraint kinds for (right) pre-semirings, semirings, and rings, as well as some useful instances.
The Semiring kind imposes fairly minimal requirements—the various 'add-on' properties (e.g. multiplicative commutativity) are catalogued in Data.Semiring.Property.
-
Notifications
You must be signed in to change notification settings - Fork 2
Semirings, rings, division rings, and modules.
License
cmk/rings
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Semirings, rings, division rings, and modules.
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published