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

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

A library for order manipulation using Galois connections. See the README for a brief overview.

Signatures

Modules