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
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