Agda.Main
runAgda
printUsage
printVersion
optionError
main