Dependencies for Agda-2.6.2.2.20221106
library |
|
---|---|
agda |
Flags
Manual Flags
Name | Description | Default |
---|---|---|
cpphs | Use cpphs instead of cpp. | Disabled |
debug | Enable debugging features that may slow Agda down. | Disabled |
Automatic Flags
Name | Description | Default |
---|---|---|
enable-cluster-counting | Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.) | Disabled |
optimise-heavily | Enable some expensive optimisations when compiling Agda. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info