connections-0.3.1: Orders, Galois connections, and lattices.

Index - \

\/Data.Lattice
\\Data.Lattice