8 lines
101 B
Coq
8 lines
101 B
Coq
|
|
fn main() {
|
||
|
|
mut value := 0
|
||
|
|
for ok := true; ok; ok = value%6 != 0 {
|
||
|
|
value++
|
||
|
|
println(value)
|
||
|
|
}
|
||
|
|
}
|