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

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

A library for working with Galois connections on various common preorders.

See the README for an overview.

Signatures

Modules