Unverified Commit 5974fe08 authored by Philip K.'s avatar Philip K. 🌝

korekursion: fixed tex typo

parent 87d75d58
......@@ -36,7 +36,7 @@ right (slant s) = slant s
genr (slant s) = const (hd s)
\end{verbatim}
\item Definieren\points{3} Sie korekursiv eine Funktion
$\mathrm{layers}: \mathrm{S} a -> \mathrm{IT} a$, die einen Baum
$\mathrm{layers}: \mathrm{S} a \rightarrow \mathrm{IT} a$, die einen Baum
erzeugt, dessen $n$'tes Element alle Knoten der $n$'ten Ebene beschriftet.
\emph{Beispiel:} Wenn $s$ der Stream $1, 2, 3, \ldots$ der natürlichen
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment