Dependencies for Agda-2.6.0

library
agda
agda-mode

Flags

NameDescriptionDefaultType
cpphs

Use cpphs instead of cpp.

DisabledManual
debug

Enable debugging features that may slow Agda down.

DisabledManual
enable-cluster-counting

Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)

DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info