Concat aus Übung hinzugefügt

This commit is contained in:
Marco Ammon 2018-10-08 17:48:48 +02:00
parent 3ef0cdbd35
commit e0d2a75c2c
2 changed files with 4 additions and 0 deletions

Binary file not shown.

View File

@ -429,4 +429,8 @@ x\ \text{, falls $minimum\ xs$ = 0}\\
min\ x\ (minimum\ xs)\ \text{, sonst} min\ x\ (minimum\ xs)\ \text{, sonst}
\end{cases*} \end{cases*}
\end{align*} \end{align*}
\begin{align*}
Nil \oplus ys &= ys\\
(Cons\ x\ xs) \oplus ys\ &= Cons\ x\ (xs \oplus ys)
\end{align*}
\end{document} \end{document}