Dependencies for eliminators-0.7
Libraries
eliminators
- base (>=4.14 && <4.15)
- extra (>=1.4.2 && <1.8)
- singleton-nats (>=0.4.2 && <0.5)
- singletons (>=2.7 && <2.8)
- template-haskell (>=2.16 && <2.17)
- th-abstraction (>=0.3 && <0.5)
- th-desugar (>=1.11 && <1.12)