Dependencies for singletons-presburger-0.3.0.0

There is a total of 7 dependencies in lts-15.3

<< Return to package page

• base-4.13.0.0
• equational-reasoning-0.6.0.1
• ghc-8.8.2
• ghc-typelits-presburger-0.3.0.0@rev:1
• reflection-2.1.5
• singletons-2.6
• singletons-presburger-0.3.0.0