blob: 2503c646a82200b86c3f0d3cc00eec7e91e50008 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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
|
