Dependencies for eliminators-0.5
Libraries
eliminators
- base (>=4.12 && <4.13)
- extra (>=1.4.2 && <1.7)
- singleton-nats (>=0.4.2 && <0.5)
- singletons (>=2.5 && <2.6)
- template-haskell (>=2.14 && <2.15)
- th-abstraction (>=0.2.3 && <0.3)
- th-desugar (>=1.9 && <1.10)