5 lines
61 B
Coq
5 lines
61 B
Coq
|
|
for num in 1..10 {
|
||
|
|
println('$num')
|
||
|
|
if num == 5 {exit(1)}
|
||
|
|
}
|