non/algebra — pull request #9 by non (2014-12-18 05:54:29+00:00)
Title: Add support for lattices.

Since we started this project, Spire added support for boolean algebras,
heyting algebras, and lattices.

This commit adds type classes for these types.