diff options
author | Camil Staps | 2016-06-07 20:59:05 +0200 |
---|---|---|
committer | Camil Staps | 2016-06-07 20:59:05 +0200 |
commit | 6d10eae47eae0af8469dd9a84a7d1df2688cae31 (patch) | |
tree | e9c7feb03bc72047fc1ee5e74d6ac7f3d4aed241 /paper/intro-while.tex | |
parent | Makefile paper (diff) |
Processing feedback
Diffstat (limited to 'paper/intro-while.tex')
-rw-r--r-- | paper/intro-while.tex | 6 |
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} |