Dependencies for eliminators-0.9
Libraries
eliminators
- base (>=4.16 && <4.17)
- extra (>=1.4.2 && <1.8)
- singleton-nats (>=0.4.2 && <0.5)
- singletons-base (>=3.1 && <3.2)
- template-haskell (>=2.18 && <2.19)
- th-abstraction (>=0.4 && <0.5)
- th-desugar (>=1.13 && <1.14)