diff --git a/merkzettel.pdf b/merkzettel.pdf index 3a9d78d..5494a4b 100644 Binary files a/merkzettel.pdf and b/merkzettel.pdf differ diff --git a/merkzettel.tex b/merkzettel.tex index d0442c1..1a209b0 100644 --- a/merkzettel.tex +++ b/merkzettel.tex @@ -429,4 +429,8 @@ x\ \text{, falls $minimum\ xs$ = 0}\\ min\ x\ (minimum\ xs)\ \text{, sonst} \end{cases*} \end{align*} +\begin{align*} +Nil \oplus ys &= ys\\ +(Cons\ x\ xs) \oplus ys\ &= Cons\ x\ (xs \oplus ys) +\end{align*} \end{document} \ No newline at end of file