singletons-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
https://github.com/konn/ghc-typelits-presburger#readme
LTS Haskell 22.39: | 0.7.4.0 |
Stackage Nightly 2024-10-29: | 0.7.4.0 |
Latest on Hackage: | 0.7.4.0 |
Maintained by konn.jinro _at_ gmail.com
This version can be pinned in stack with:
singletons-presburger-0.7.4.0@sha256:428bb301f381b2331a347dd7b78a3f2dbe5a3028119120be5af54470b1798d5a,2383
Module documentation for 0.7.4.0
- Data
- Data.Singletons
- Data.Singletons.TypeNats
- Data.Singletons
Depends on 10 packages(full list with versions):
Used by 1 package in lts-22.31(full list with versions):