This is a package for exploring order-theory in Haskell.
We support (and test in CI) the following major GHC versions:
- 8.10
- 9.0
- 9.2
- 9.4
- 9.6
We test on macOS and Linux.
Contributions and bug reports are welcome!
Maintained by Emily Pillmore (@topos). Please feel free to contact me through Github or on the #haskell IRC channel on irc.libera.chat.
A good introduction to order theory is Introduction to Lattices and Order by Davey & Priestley