@hackage connections0.0.3

Partial orders, Galois connections, and lattices.

A library for numerical conversions using Galois connections.