5 lines
44 B
Coq
5 lines
44 B
Coq
|
$stack puts
|
||
|
|
|
||
|
|
./args.v a b c
|
||
|
|
=[args.v a b c]
|