4 lines
47 B
Coq
4 lines
47 B
Coq
|
mut s := "world!"
|
||
|
|
s = "Hello, " + s
|
||
|
|
println(s)
|