8 lines
88 B
Coq
8 lines
88 B
Coq
|
|
fn main() {
|
||
|
|
mut i := 1024
|
||
|
|
for i > 0 {
|
||
|
|
println(i)
|
||
|
|
i /= 2
|
||
|
|
}
|
||
|
|
}
|