Dependencies for type-natural-1.3.0.2

There is a total of 9 dependencies in nightly-2025-08-07

<< Return to package page

• base-4.21.0.0
• constraints-0.14.2@rev:1
• equational-reasoning-0.7.1.0
• ghc-9.12.2
• ghc-typelits-knownnat-0.7.13
• ghc-typelits-natnormalise-0.7.11
• ghc-typelits-presburger-0.7.4.2
• integer-logarithms-1.0.4
• template-haskell-2.23.0.0