About
Snapshots
LTS
Nightly
FAQ
Blog
Dependencies for type-natural-1.3.0.1
There is a total of 9 dependencies in
lts-22.27
<< Return to package page
base-4.18.2.1
constraints-0.14.2
equational-reasoning-0.7.0.3@rev:1
ghc-9.6.5
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.20.0.0