Agda.Main

runAgda

printUsage

printVersion

optionError

main