Dependencies for type-natural-1.3.0.2

There is a total of 6 dependencies in nightly-2026-01-18

<< Return to package page

• constraints-0.14.3
• equational-reasoning-0.7.1.0
• ghc-typelits-knownnat-0.8.2
• ghc-typelits-natnormalise-0.9.3
• ghc-typelits-presburger-0.7.4.2
• integer-logarithms-1.0.5