Dependencies for Agda-2.6.20240714

Libraries

Agda

Executables

agda

agda-mode

Flags

Manual Flags

NameDescriptionDefault
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