Dependencies for type-natural-0.7.0.0
Libraries
type-natural
- base (>=4 && <5)
- constraints (>=0.3 && <0.9)
- equational-reasoning (>=0.4.1.1 && <1)
- ghc-typelits-natnormalise (>=0.4 && <0.5)
- ghc-typelits-presburger (>=0.1.1 && <1)
- monomorphic (>=0.0.3)
- singletons (>=2.2 && <2.3)
- template-haskell (>=2.8 && <3)