rings-0.0.2.2: Groups, rings, semirings, and dioids.
Lawful algebraic classes and a la carte instances.
Signatures
Modules