\begin{slide}{Verifikation --- Beispiele}

  \begin{itemize}
  \item \verb|append :: List a -> List a -> List a|

    ist assoziativ
  \item für \verb|reverse :: List a -> List a| gilt:

    \verb|reverse (reverse xs) == xs|
  \item Addition von Peano-Zahlen ist kommutativ
  \end{itemize}


\end{slide}
