@hackage connections0.0.1

Partial orders, Galois connections, ordered semirings, & residuated lattices.

partial orders