Dependencies for Agda-2.6.3.1

library
agda
agda-mode

Flags

Manual Flags

NameDescriptionDefault
cpphs

Use cpphs instead of cpp.

Disabled
debug

Enable debugging features that may slow Agda down.

Disabled
Automatic Flags
NameDescriptionDefault
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