Dependencies for type-natural-1.3.0.1

There is a total of 9 dependencies in nightly-2024-04-19

<< Return to package page

• base-4.19.1.0
• constraints-0.14
• equational-reasoning-0.7.0.2
• ghc-9.8.2
• ghc-typelits-knownnat-0.7.10
• ghc-typelits-natnormalise-0.7.9
• ghc-typelits-presburger-0.7.3.0
• integer-logarithms-1.0.3.1@rev:6
• template-haskell-2.21.0.0