rings-0.0.2.2: Groups, rings, semirings, and dioids.

rings-0.0.2.2: Groups, rings, semirings, and dioids.

Lawful algebraic classes and a la carte instances.

Signatures

Modules