Dependencies for liquidhaskell-cabal-demo-0.1.0.0
Libraries
liquidhaskell-cabal-demo
- base (>=4.8 && <5)
- liquidhaskell-cabal (>=0.1 && <0.2)
Executables
ffi
- base (>=4.8 && <5)
- liquidhaskell-cabal (>=0.1 && <0.2)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| liquidhaskell | After building, verify with LiquidHaskell | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info