dev-haskell/ghc-typelits-natnormalise
GHC typechecker plugin for types of kind GHC.TypeLits.Nat
Runtime Dependencies
ghc-typelits-natnormalise-0.7.2
>=dev-haskell/ghc-tcplugins-extra-0.3.1:=[profile?
]
>=dev-haskell/syb-0.7.1:=[profile?
]
<dev-haskell/syb-0.8:=[profile?
]
>=dev-lang/ghc-8.0.1:=[profile?
]
<dev-lang/ghc-8.11:=[profile?
]
>=dev-lang/ghc-8.0.1:=