Put regel

1 files changed, 7 insertions, 1 deletions

diff --git a/smurf.sty b/smurf.sty
index 6bc6fde..bd10d7e 100644
--- a/smurf.sty
+++ b/smurf.sty
@@ -10,7 +10,7 @@
 \def\String{\mathit{String}}
 \def\Char{\mathit{Char}}
 
-% Stacks
+% Stack
 \def\Stack#1{\mathbf{Stack}\left[\mathit{#1}\right]}
 \def\Nil{\texttt{Nil}}
 \def\pushop{\mathit{push}}
@@ -18,6 +18,10 @@
 \def\push#1#2{\pushop\left(#1, #2\right)}
 \def\pop#1{\popop\left(#1\right)}
 
+% Store
+\def\putop{\mathit{put}}
+\def\put#1#2#3{\putop\left(#1, #2, #3\right)}
+
 % Syntax
 \def\SynPgm{\langle\Pgm\rangle}
 \def\SynStm{\langle\Stm\rangle}
@@ -43,6 +47,7 @@
 % Rules
 \def\rule#1#2{[\mbox{#1}_{\mbox{\footnotesize{#2}}}]}
 \def\rgetns{\rule{get}{ns}}
+\def\rputns{\rule{put}{ns}}
 
 % Common names
 \def\stk{\mathit{stk}}
@@ -53,4 +58,5 @@
 \def\stm{\mathit{stm}}
 \def\st{\mathit{st}}
 \def\var{\mathit{var}}
+\def\val{\mathit{val}}