connections-0.0.3: Partial orders, Galois connections, and lattices.

Index - ?

?~Data.Prd, Numeric.Prelude