non/spire — pull request #289 by non (2014-07-28 15:12:13+00:00)
Title: Add Heyting algebras; better Boolean/Heyting algebra tests.

This commit formalizes the laws for Boolean and Heyting algebras, and
generalizes the BooleanAlgebra operators to Heyting algebras. It does not
change any of the import names--this could be a future change.

It also cleans up many 2.11 test warnings due to unused imports.