About
Snapshots
LTS
Nightly
FAQ
Blog
Dependencies for type-natural-1.3.0.1
There is a total of 9 dependencies in
nightly-2024-07-26
<< Return to package page
base-4.19.1.0
constraints-0.14.2@rev:1
equational-reasoning-0.7.0.3@rev:1
ghc-9.8.2
ghc-typelits-knownnat-0.7.12
ghc-typelits-natnormalise-0.7.10
ghc-typelits-presburger-0.7.4.0
integer-logarithms-1.0.3.1@rev:6
template-haskell-2.21.0.0