Loop structures: Difference between revisions
Content added Content deleted
Line 174: | Line 174: | ||
=={{header|Dafny}}== |
=={{header|Dafny}}== |
||
< |
<syntaxhighlight lang="dafny"> |
||
var i: int := 0; |
var i: int := 0; |
||
while i < n |
while i < n |
||
Line 183: | Line 183: | ||
} |
} |
||
assert i == n; |
assert i == n; |
||
</syntaxhighlight> |
|||
</lang> |
|||
=={{header|Dao}}== |
=={{header|Dao}}== |