@hackage ghc-typelits-presburger0.1.0.0

Presburger Arithmetic Solver for GHC Type-level natural numbers

ghc-typelits-presburger augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers. You can use this by just add this package to build-depends and the following line to the head of .hs files: > {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-}