Dependencies for singletons-presburger-0.3.0.1

There is a total of 6 dependencies in lts-16.29

<< Return to package page

• base-4.13.0.0
• equational-reasoning-0.6.0.3
• ghc-typelits-presburger-0.3.0.1
• reflection-2.1.6
• singletons-2.6
• singletons-presburger-0.3.0.1