summaryrefslogtreecommitdiff
path: root/paper/intro-while.tex
diff options
context:
space:
mode:
authorCamil Staps2016-06-07 20:59:05 +0200
committerCamil Staps2016-06-07 20:59:05 +0200
commit6d10eae47eae0af8469dd9a84a7d1df2688cae31 (patch)
treee9c7feb03bc72047fc1ee5e74d6ac7f3d4aed241 /paper/intro-while.tex
parentMakefile paper (diff)
Processing feedback
Diffstat (limited to 'paper/intro-while.tex')
-rw-r--r--paper/intro-while.tex6
1 files changed, 3 insertions, 3 deletions
diff --git a/paper/intro-while.tex b/paper/intro-while.tex
index 77251bd..6751a5f 100644
--- a/paper/intro-while.tex
+++ b/paper/intro-while.tex
@@ -43,16 +43,16 @@ block ends. Lastly, we assume that composition (\whcomp{$S_1$}{$S_2$}) is right
associative. We ignore all whitespace, and do not allow variable names that are
reserved keywords such as \whskip.
-The semantics of these syntax constructs should be intuitive. As an example,
+The semantics of the syntax constructs should be intuitive. As an example,
after executing the following program, \verb$y$ will have been divided by $2$:
\begin{while}
\whcomp%
{\whass{x}{y}}
{\whwhile{\whnotp{\whle{x}{0}}}%
- {\whcomp%
+ {(\whcomp%
{\whass{x}{x-2}}
- {\whass{y}{y-1}}
+ {\whass{y}{y-1}})
}
}
\end{while}