Yirmiuc / libghc-ghc-typelits-natnormalise-doc

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