algebra-4.1: Constructive abstract algebra

Safe HaskellSafe-Inferred

Numeric.Order.LocallyFinite

Documentation