Yirmiuc / libghc-ghc-typelits-natnormalise-dev

GHC typechecker plugin for types of kind GHC.TypeLits.Nat