Version 0.0.1.0-0 of heyting-algebras is deprecated.
The latest version of heyting-algebras is 0.2.0.1-0.
lib:heyting-algebras
Modules
Dependencies
- QuickCheck lib:QuickCheck >=2.10 && <2.13
- base lib:base >=4.9 && <4.13
- containers lib:containers >=0.4.2 && <0.7
- free-algebras lib:free-algebras >=0.0.4 && <0.0.6
- hashable lib:hashable >=1.2.6.1 && <1.3
- lattices lib:lattices >=1.0 && <1.11
- tagged lib:tagged >=0.8.5 && <0.9
- universe-base lib:universe-base >=1.0 && <1.1
- unordered-containers lib:unordered-containers >=0.2.6.0 && <0.3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- heyting-algebras test:heyting-algebras-test
- heyting-algebras test:test
- heyting-algebras test:tests