diff options
Diffstat (limited to 'app-rules.tex')
| -rw-r--r-- | app-rules.tex | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/app-rules.tex b/app-rules.tex new file mode 100644 index 0000000..2503c64 --- /dev/null +++ b/app-rules.tex @@ -0,0 +1,30 @@ +% vim: set spelllang=nl: +\newgeometry{left=25mm,right=25mm} +\section{Semantiekregels} +\label{sec:app:rules} + +Een overzicht van de gedefinieerde regels voor de natuurlijke semantiek van +Smurf: + +\FrameSep0pt +\begin{framed} + \printrulefalse + \setlength{\extrarowheight}{20pt} + \begin{tabular}{l l} + $\rlambdans$ & \therlambdans{} \\ + $\rcatns$ & \thercatns{} \\ + $\rexecns$ & \therexecns{} \\ + $\rgetns$ & \thergetns{} \\ + $\rheadns$ & \therheadns{} \\ + $\rinputns$ & \therinputns{} \\ + $\routputns$ & \theroutputns{} \\ + $\rpushns$ & \therpushns{} \\ + $\rputns$ & \therputns{} \\ + $\rquotifyns$ & \therquotifyns{} \\ + $\rtailns$ & \thertailns{} \\ + \end{tabular} + \vspace{1cm} + \printruletrue +\end{framed} + +\restoregeometry |