eliminators-0.8: dependencies

Dependencies for eliminators-0.8

library	base (>=4.15 && <4.16) extra (>=1.4.2 && <1.8) singleton-nats (>=0.4.2 && <0.5) singletons-base (>=3.0 && <3.1) template-haskell (>=2.17 && <2.18) th-abstraction (>=0.4 && <0.5) th-desugar (>=1.12 && <1.13)