9 lines
100 B
Coq
9 lines
100 B
Coq
|
mut s:= 'foo'
|
||
|
|
s += 'bar'
|
||
|
|
println(s)
|
||
|
|
|
||
|
|
foo := 'foo'
|
||
|
|
bar := 'bar'
|
||
|
|
foobar := '$foo$bar'
|
||
|
|
println(foobar)
|