Dependencies for liquid-fixpoint-0.8.0.2
Libraries
liquid-fixpoint
- ansi-terminal
- array
- async
- attoparsec
- base (>=4.11.0.0 && <5)
- binary
- boxes
- cereal
- cmdargs
- containers
- deepseq
- directory
- fgl
- filepath
- ghc-prim
- hashable
- intern
- mtl
- parallel
- parsec
- pretty (>=1.1.3.1)
- process
- syb
- text
- text-format
- transformers
- unordered-containers
- if !os(windows)
- ascii-progress (>=0.3)
Executables
fixpoint
- base (>=4.9.1.0 && <5)
- liquid-fixpoint
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| devel | turn on stricter error reporting for development | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info