diff options
Diffstat (limited to 'task6.tex')
| -rw-r--r-- | task6.tex | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -11,6 +11,8 @@ \begin{document} +\allowdisplaybreaks + \maketitle \section*{Opdracht 2.16} @@ -40,8 +42,7 @@ \dimpl\> & \transl{\scomp\assB\whileLoop}{\s753} \\ \dimpl\> & \transl\whileLoop{\s253} \\ \dimpl\> & \transl\ifLoop{\s253} \\ - \dimpl\> & \transl\sskip{\s253} \\ - \dimpl\> & \s253, + \dimpl\> & \transl\sskip{\s253} \>\dimpl\> \s253, \end{align*} waar $\s{a}{b}{c}$ kort is voor $[x\mapsto a,y\mapsto b,z\mapsto c]$. |