Dependencies for type-natural-0.8.3.1

There is a total of 8 dependencies in nightly-2020-06-01

<< Return to package page

• base-4.13.0.0
• constraints-0.12
• equational-reasoning-0.6.0.3
• ghc-typelits-natnormalise-0.7.2
• ghc-typelits-presburger-0.3.0.0@rev:1
• singletons-2.6
• singletons-presburger-0.3.0.0
• template-haskell-2.15.0.0