TyposHEADsubmissionmaster

2 files changed, 2 insertions, 2 deletions

diff --git a/edit-lens/src/Control/Edit/String.lhs b/edit-lens/src/Control/Edit/String.lhs
index f0ca588..a1b0233 100644
--- a/edit-lens/src/Control/Edit/String.lhs
+++ b/edit-lens/src/Control/Edit/String.lhs
@@ -31,7 +31,7 @@ data StringEdit pos char = Insert { _sePos :: pos, _seInsertion :: char }
                          | Delete { _sePos :: pos }
   deriving (Eq, Ord, Show, Read)
 
--- Automatically derive van-leerhoven-lenses:
+-- Automatically derive van Laarhoven-lenses:
 --
 -- @sePos :: Lens' (StringEdits pos char) pos@
 -- @seInsertion :: Traversal' (StringEdits pos char) char@
diff --git a/intro.tex b/intro.tex
index 56d1ef3..85d40fa 100644
--- a/intro.tex
+++ b/intro.tex
@@ -12,7 +12,7 @@ Vor Allem versuchen wir somit zu demonstrieren, dass sich bekannte Klassen von P
 Wir stellen in Abschnitt \ref{edit-lenses} die Definitionen und Konstruktion von edit-lenses aus \cite{hofmann2012edit} vor und diskutieren kurz die Kompatibilität unserer Implementierung und edit-lenses im Allgemeinen mit etablierten Frameworks für funktionale Linsen in Haskell.
 In Abschnitt \ref{finite-state-transducers} präsentieren wir eine etablierte Version von finite state transducern, für die folgenden Teile relevante Konstruktionen darauf und einige assoziierte Beispiele.
 Abschnitt \ref{edit-lenses-fuxfcr-deterministic-finite-state-transducers} beschreibt eine Methode, beliebige deterministische finite state transducers als edit-lenses aufzufassen und stellt somit eine nicht triviale Anwendung der Methoden und Konzepte aus \cite{hofmann2012edit} dar.
-In Abschnitt \ref{ausblick-edit-lenses-fuxfcr-non-determinische-finite-state-transducers} stellen wir kurz einen Ansatz vor, unsere Konstruktion aus \ref{edit-lenses-fuxfcr-deterministic-finite-state-transducers} auch auf nicht-deterministische finite state transducers zu erweitern.
+In Abschnitt \ref{ausblick-edit-lenses-fuxfcr-nicht-determinische-finite-state-transducers} stellen wir kurz einen Ansatz vor, unsere Konstruktion aus \ref{edit-lenses-fuxfcr-deterministic-finite-state-transducers} auch auf nicht-deterministische finite state transducers zu erweitern.
 In Abschnitt \ref{implementierung} kommentieren wir den Implementierungsprozess der Arbeit und die Schlüsse, die wir aus der Implementierung als solcher ziehen konnten.
 Abschnitt \ref{ausblick-anwendbarkeit-der-implementierung-auf-andere-parser} beschreibt kurz wie sich das dargestellte Verfahren auf andere Sorten von Parsern anwenden ließe.