11 lines
149 B
Coq
11 lines
149 B
Coq
|
|
fn main() {
|
||
|
|
mut value := 0
|
||
|
|
for {
|
||
|
|
value++
|
||
|
|
println(value)
|
||
|
|
if value%6 != 0 {
|
||
|
|
break
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|