Loop structures: Difference between revisions
→{{header|Dafny}}
Line 174:
=={{header|Dafny}}==
<
var i: int := 0;
while i < n
Line 183:
}
assert i == n;
</syntaxhighlight>
=={{header|Dao}}==
|
Line 174:
=={{header|Dafny}}==
<
var i: int := 0;
while i < n
Line 183:
}
assert i == n;
</syntaxhighlight>
=={{header|Dao}}==
|
edits