bollu / 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.

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.freenode.net.

References

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

About

Order theory

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Nix 50.4%Language:Haskell 49.6%