Dependencies for type-natural-0.9.0.0

There is a total of 8 dependencies in nightly-2020-07-09

<< Return to package page

• base-4.14.0.0
• constraints-0.12
• equational-reasoning-0.6.0.3
• ghc-typelits-natnormalise-0.7.2
• ghc-typelits-presburger-0.3.0.1
• singletons-2.7@rev:1
• singletons-presburger-0.3.0.1
• template-haskell-2.16.0.0