\begin{slide}{Paare}

Syntax:
\begin{verbatim}
(pair x y) -- Konstruktor

(fst p)    -- Destruktor
(snd p)    -- Destruktor
\end{verbatim}

Semantik (Plan):
\begin{verbatim}
für alle x, y:
    (fst (pair x y)) == x
    (snd (pair x y)) == y
\end{verbatim}

\end{slide}
