Agda.Main
runAgda
runAgdaWithOptions
printUsage
printVersion
optionError
runTCMPrettyErrors
main