diff options
Diffstat (limited to 'paper/while.sty')
| -rw-r--r-- | paper/while.sty | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/paper/while.sty b/paper/while.sty new file mode 100644 index 0000000..1c61164 --- /dev/null +++ b/paper/while.sty @@ -0,0 +1,7 @@ +\newenvironment{while}{\medskip}{\medskip} + +\def\whskip{\texttt{skip}} +\def\whass#1#2{\texttt{#1 := #2}} +\def\whcomp#1#2{#1\texttt{;} #2} +\def\whif#1#2#3{\texttt{if #1 then #2 else #3 endif}} +\def\whwhile#1#2{\texttt{while #1 do #2 done}} |