Dependencies for Agda-2.5.1.2

library
agda
agda-mode
agda-ghc-names

Flags

NameDescriptionDefaultType
cpphs

Use cpphs instead of cpp.

EnabledManual
uhc

Enable the UHC backend. For details, consult the Agda User Manual.

DisabledManual

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