Dependencies for Agda-2.2.6

library
agda-mode

Flags

NameDescriptionDefaultType
use-locale

Try to use the character encoding specified by the locale for most of the IO going to/from stdin and stdout. (Note that source files must always be encoded using UTF8.)

EnabledAutomatic

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