Dependencies for liquidhaskell-0.8.2.2

library
liquid

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