connections-0.3.0: Orders, Galois connections, and lattices.
A library for order manipulation using Galois connections. See the README for a brief overview.
A library for order manipulation using Galois connections. See the README for a brief overview.