heyting-algebras-0.0.1.2: dependencies

Dependencies for heyting-algebras-0.0.1.2

library	base (>=4.9 && <4.13) containers (>=0.4.2 && <0.7) free-algebras (>=0.0.4 && <0.0.6) hashable (>=1.2.6.1 && <1.3) lattices (>=1.0 && <1.11) tagged (>=0.8.5 && <0.9) universe-base (>=1.0 && <1.1) unordered-containers (>=0.2.6.0 && <0.3) if flag(export-properties) QuickCheck (>=2.10 && <2.13)

Automatic Flags

Name	Description	Default
export-properties	Export quickcheck properties from library; this adds QuickCheck as a dependency.	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info