@hackage singletons-presburger0.7.4.1

Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.

The singletons-presburger plugin augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers, with integration with singletons package. . You can use by adding this package to dependencies and add the following pragma to the head of .hs files: . > OPTIONS_GHC -fplugin Data.Singletons.TypeNats.Presburger