6 lines
86 B
Coq
6 lines
86 B
Coq
|
|
fn main() {
|
||
|
|
mut nums := [3, 2, 4, 1, 6, 7, 5, 0]
|
||
|
|
nums.sort()
|
||
|
|
println(nums)
|
||
|
|
}
|