Dependencies for g2-0.1.0.2
library |
|
---|---|
G2 |
|
G2LH |
|
Inference |
|
Nebula |
|
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
support-lh | Build modules for reasoning about LiquidHaskell | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info