\begin{slide}{Parallele Folds}

nach Definition:
\begin{verbatim}
  foldr f z [x1, x2, x3]
= f x1 (f x2 (f x3 z)))
\end{verbatim}
wenn \verb|f| assoziativ ist, dann
\begin{verbatim}
= f (f x1 x2) (f x3 z)
\end{verbatim}
und das kann man parallel ausrechnen.
  
\end{slide}
