ghc-typelits-presburger-0.1.1.0: Presburger Arithmetic Solver for GHC Type-level natural numbers.
GHC.TypeLits.Presburger
plugin :: Plugin Source #