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

Index - ?

?~Data.Order