Dependencies for logic-classes-1.7
library |
---|
Flags
Manual Flags
Name | Description | Default |
---|---|---|
local-atp-haskell | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
library |
---|
Name | Description | Default |
---|---|---|
local-atp-haskell | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info