Dependencies for singletons-presburger-0.6.1.0

There is a total of 7 dependencies in lts-18.20

<< Return to package page

• base-4.14.3.0
• equational-reasoning-0.7.0.1
• ghc-typelits-presburger-0.6.2.0
• mtl-2.2.2
• reflection-2.1.6@rev:1
• singletons-2.7@rev:1
• singletons-presburger-0.6.1.0