Version 0.0.1.0-0 of heyting-algebras is deprecated.
The latest version of heyting-algebras is 0.2.0.1-0.

Algebra.Heyting

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?