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

Index - :

:%Data.Connection.Ratio