Dependencies for type-natural-1.1.0.1

There is a total of 8 dependencies in nightly-2022-01-05

<< Return to package page

• base-4.15.0.0
• constraints-0.13.2@rev:1
• equational-reasoning-0.7.0.1
• ghc-typelits-knownnat-0.7.6
• ghc-typelits-natnormalise-0.7.6
• ghc-typelits-presburger-0.6.2.0
• integer-logarithms-1.0.3.1@rev:2
• template-haskell-2.17.0.0