algebra-4.1: Constructive abstract algebra

Safe HaskellSafe-Inferred

Numeric.Rig.Ordered

Documentation