Dependencies for idris-0.9.9.3
idris |
|
---|
Flags
Manual Flags
Name | Description | Default |
---|---|---|
llvm | Build the LLVM backend | Enabled |
Automatic Flags
Name | Description | Default |
---|---|---|
effects | Build the effects package | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info