Dependencies for liquid-platform-0.8.10.1

Executables

liquidhaskell

gradual

target

Flags

Manual Flags

NameDescriptionDefault
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