4 lines
45 B
Coq
4 lines
45 B
Coq
|
import os
|
||
|
|
|
||
|
|
println("program: ${os.args[0]}")
|