diff options
| author | Camil Staps | 2016-05-19 15:12:31 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-05-19 15:12:31 +0200 |
| commit | 655d705776ebc201c595ffff783b201e0446b98d (patch) | |
| tree | 620b9e787180e7a30049999bd6dd142640457bb6 /paper/while.sty | |
| parent | Update makefile (diff) | |
Update inleiding opdracht 8; update inleiding paper
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}} |