RosettaCodeData/Task/Command-line-arguments/V/command-line-arguments.v

$stack puts

./args.v a b c
=[args.v a b c]