Dependencies for singletons-presburger-0.6.0.0

There is a total of 9 dependencies in nightly-2021-09-11

<< Return to package page

• base-4.15.0.0
• equational-reasoning-0.7.0.0@rev:2
• ghc-typelits-presburger-0.6.0.0
• mtl-2.2.2
• reflection-2.1.6
• singletons-3.0
• singletons-base-3.0
• singletons-presburger-0.6.0.0
• singletons-th-3.0