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

Index - +

+Numeric.Prelude