RosettaCodeData/Task/Program-termination/V-(Vlang)/program-termination.v

5 lines
61 B
Coq
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
for num in 1..10 {
println('$num')
if num == 5 {exit(1)}
}