Dependencies for heyting-algebras-0.0.2.0
Libraries
heyting-algebras
- base (>=4.9 && <4.13)
- containers (>=0.4.2 && <0.7)
- free-algebras (>=0.0.4 && <0.0.8)
- hashable (>=1.2.6.1 && <1.3)
- lattices (>=1.0 && <1.8)
- semiring-simple (>=1.0 && <1.2)
- tagged (>=0.8.5 && <0.9)
- universe-base (>=1.0 && <1.1)
- unordered-containers (>=0.2.6.0 && <0.3)