ghc-typelits-presburger-0.1.0.0: Presburger Arithmetic Solver for GHC Type-level natural numbers
Index