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