From 5974fe081671e56edccaa72d75d956eb5eb0ec4e Mon Sep 17 00:00:00 2001
From: Philip K <philip@warpmail.net>
Date: Mon, 28 Oct 2019 20:34:13 +0100
Subject: [PATCH] korekursion: fixed tex typo
---
korekursion.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/korekursion.tex b/korekursion.tex
index 919575a..1c08bd0 100644
--- a/korekursion.tex
+++ b/korekursion.tex
@@ -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
--
GitLab