The latest version of heyting-algebras is 0.2.0.1-0.
lib:heyting-algebras
Modules
- Algebra.Boolean
- Algebra.Boolean.Free
- Algebra.Boolean.Properties
- Algebra.Heyting
- Algebra.Heyting.BoolRing
- Algebra.Heyting.CounterExample
- Algebra.Heyting.Free
- Algebra.Heyting.Layered
- Algebra.Heyting.Properties
Dependencies
- 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.8
- hashable lib:hashable >=1.2.6.1 && <1.3
- lattices lib:lattices >=1.0 && <1.8
- semiring-simple lib:semiring-simple >=1.0 && <1.2
- 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