4 lines
49 B
Coq
4 lines
49 B
Coq
|
text := "Hello"
|
||
|
|
copy_of := text
|
||
|
|
println(copy_of)
|