Dependencies for heyting-algebras-0.2.0.0
Libraries
heyting-algebras
- base (>=4.9 && <4.16)
- containers (>=0.4.2 && <0.7)
- free-algebras (>=0.1.0.1 && <0.1.1.0)
- hashable (>=1.2.6.1 && <1.4)
- lattices (>=2.0 && <2.1)
- semiring-simple (>=1.0 && <1.2)
- tagged (>=0.8.5 && <0.9)
- universe-base (>=1.0 && <1.2)
- unordered-containers (>=0.2.6.0 && <0.3)