Agda.Main

builtinBackends

runAgda

runAgda'

defaultInteraction

runAgdaWithOptions

printUsage

backendUsage

printVersion

optionError

runTCMPrettyErrors

main