Dependencies for eliminators-0.3
Libraries
eliminators
- base (>=4.10 && <4.11)
- extra (>=1.4.2 && <1.7)
- singleton-nats (>=0.4.0.3 && <0.5)
- singletons (>=2.3 && <2.4)
- template-haskell (>=2.12 && <2.13)
- th-abstraction (>=0.2.3 && <0.3)
- th-desugar (>=1.7 && <1.8)