emilypi / order

Order theory

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

order

Hackage Build Status

This is a package for exploring order-theory in Haskell.

What This Works On

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.

Contact Information

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.

References

A good introduction to order theory is Introduction to Lattices and Order by Davey & Priestley

About

Order theory

License:Other


Languages

Language:Haskell 100.0%