Dependencies for singletons-presburger-0.7.2.0

There is a total of 10 dependencies in lts-21.11

<< Return to package page

• base-4.17.2.0
• equational-reasoning-0.7.0.1@rev:3
• ghc-9.4.6
• ghc-typelits-presburger-0.7.2.0
• mtl-2.2.2
• reflection-2.1.7
• singletons-3.0.2@rev:1
• singletons-base-3.1.1
• singletons-presburger-0.7.2.0
• singletons-th-3.1.1