5 lines
61 B
Coq
5 lines
61 B
Coq
|
|
mut age := 20
|
||
|
|
println(age) // 20
|
||
|
|
age = 21
|
||
|
|
println(age) // 21
|