Agda.Main
builtinBackends
runAgda
runAgda'
defaultInteraction
runAgdaWithOptions
printUsage
backendUsage
printVersion
optionError
runTCMPrettyErrors
main