Dependencies for ghc-typelits-presburger-0.2.0.0
Libraries
ghc-typelits-presburger
- base (>=4.7 && <5)
- containers
- equational-reasoning (>=0.4.0.0)
- ghc (>=7.10 && <8.5)
- ghc-tcplugins-extra (>=0.2 && <0.3)
- pretty
- reflection
Executables
simple-arith
- base
- equational-reasoning
- ghc-typelits-presburger
- singletons
- if !flag(examples)
- buildable: False
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| examples | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info