<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Semantik fÃ¼r Paare}

was soll die Semantik dieses Ausdrucks sein?
\begin{verbatim}
(fst (pair 1 (@/ 1 0)))
\end{verbatim}
  
\begin{itemize}
\item \verb|1| : pair-Konstruktor ist \emph{nicht strikt}
\item \verb|(error divide-by-zero)| : pair-Konstruktor ist \emph{strikt}
\end{itemize}

\end{slide}
</pre></body></html>