haskell-ghc-typelits-natnormalise
Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
Description | GHC typechecker plugin for types of kind GHC.TypeLits.Nat |
Version | 0.7.8-10 [extra] |
Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
Description | GHC typechecker plugin for types of kind GHC.TypeLits.Nat |
Version | 0.7.8-10 [extra] |