Dependencies for ghc-typelits-presburger-0.3.0.0
Libraries
ghc-typelits-presburger
- base (>=4.7 && <5)
- containers
- ghc (>=7.10 && <8.11)
- ghc-tcplugins-extra (>=0.2 && <0.5)
- mtl
- pretty
- reflection
- syb
- transformers
Executables
simple-arith-core
- base
- equational-reasoning
- ghc-typelits-presburger
- 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