Dependencies for singletons-presburger-0.7.4.1
Libraries
singletons-presburger
- base (>=4.7 && <5)
- ghc
- ghc-typelits-presburger (>=0.4)
- mtl
- reflection
- singletons
- singletons-base (>=3.0)
- transformers
Executables
simple-arith
- base
- equational-reasoning
- singletons
- singletons-base (>=3.0)
- singletons-presburger
- singletons-th
- if !flag(examples)
- buildable: False
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| examples | Builds example | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info