Dependencies for Agda-2.7.0.1
library |
|
---|---|
agda | |
agda-mode |
Flags
Manual Flags
Name | Description | Default |
---|---|---|
debug | Enable debug printing. This makes Agda slightly slower, and building Agda slower as well. The --verbose=N option only has an effect when Agda was built with this flag. | Disabled |
debug-serialisation | Enable debug mode in serialisation. This makes serialisation slower. | Disabled |
debug-parsing | Enable debug mode in parsing. This makes parsing slower. | Disabled |
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