ghc-typelits-presburger-0.2.0.3: Presburger Arithmetic Solver for GHC Type-level natural numbers.

Index

pluginGHC.TypeLits.Presburger