Agda.Main

runAgda

runAgdaWithOptions

printUsage

printVersion

optionError

runTCMPrettyErrors

main