Dependencies for liquidhaskell-0.8.0.0

library
liquid
target

Flags

NameDescriptionDefaultType
devel

turn on stricter error reporting for development

DisabledManual
include

use in-tree include directory

DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info