ghc-typelits-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers.
https://github.com/konn/ghc-typelits-presburger#readme
Version on this page: | 0.3.0.0@rev:1 |
LTS Haskell 20.23: | 0.6.2.0 |
Stackage Nightly 2023-05-31: | 0.7.2.0 |
Latest on Hackage: | 0.7.2.0 |
Maintained by konn.jinro _at_ gmail.com
This version can be pinned in stack with:
ghc-typelits-presburger-0.3.0.0@sha256:a4c24ce3ed2bc46f91e5dd544429fc9caa42da5c3effbc09b2e4e064d325004e,2724
Module documentation for 0.3.0.0
Depends on 11 packages(full list with versions):
Used by 4 packages in lts-15.3(full list with versions):