Dependencies for type-natural-1.2.0.1

There is a total of 9 dependencies in nightly-2023-02-08

<< Return to package page

• base-4.17.0.0
• constraints-0.13.4
• equational-reasoning-0.7.0.1@rev:2
• ghc-9.4.4
• ghc-typelits-knownnat-0.7.7
• ghc-typelits-natnormalise-0.7.7
• ghc-typelits-presburger-0.7.1.0
• integer-logarithms-1.0.3.1@rev:4
• template-haskell-2.19.0.0