@hackage heyting-algebras0.0.1.1

Heyting and Boolean algebras

This package provides Heyting and Boolean operations together with various constructions of Heyting algebras.