getArgs module:System.Environment

Computation getArgs returns a list of the program's command line arguments (not including the program name).