Dependencies for type-natural-1.3.0.2

There is a total of 9 dependencies in lts-24.0

<< Return to package page

• base-4.20.1.0
• constraints-0.14.2@rev:1
• equational-reasoning-0.7.1.0
• ghc-9.10.2
• ghc-typelits-knownnat-0.7.13
• ghc-typelits-natnormalise-0.7.10
• ghc-typelits-presburger-0.7.4.1
• integer-logarithms-1.0.4
• template-haskell-2.22.0.0