From f4c419b9ddec15bad267a4463f0720d6e28042d2 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Thu, 30 May 2019 12:18:08 +0200
Subject: Further work

---
 thesis.tex | 46 ++++++++++++++++++++++++++++++++++++++++------
 1 file changed, 40 insertions(+), 6 deletions(-)

(limited to 'thesis.tex')

diff --git a/thesis.tex b/thesis.tex
index 4156751..2f0346b 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -1,18 +1,52 @@
+\vfill
+
+\noindent Ich erkläre hiermit, dass ich die vorliegende Arbeit
+selbstständig angefertigt, alle Zitate als solche kenntlich gemacht
+sowie alle benutzten Quellen und Hilfsmittel angegeben habe.
+
+\bigskip
+
+\makebox[.5\linewidth][r]{}{\xleaders\hbox to .2em{\d{}}\hfill\d{}}\smallskip \\
+\hspace*{.5\linewidth}Gregor Kleen \\
+\hspace*{.5\linewidth}München, \today
+
+%% \bigskip\noindent München, \today
+
+%% \vspace{4ex}\noindent\makebox[7cm]{\dotfill}
+
+
+\section{Einführung}
+\input{./intro.tex}
+
 \section{Edit-lenses}
 
 Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen.
-Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen:
+Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen.
 
-\input{./edit-lens/src/Control/Edit.lhs}
-\input{./edit-lens/src/Control/Lens/Edit.lhs}
+\input{./edit-lens/src/Control/Edit.lhs.tex}
+\input{./edit-lens/src/Control/Lens/Edit.lhs.tex}
 
 \section{Finite state transducers}
 
-\input{./edit-lens/src/Control/FST.lhs}
-\input{./edit-lens/src/Control/DFST.lhs}
+\input{./edit-lens/src/Control/FST.lhs.tex}
+\input{./edit-lens/src/Control/DFST.lhs.tex}
 
 \subsection{Edit-lenses für deterministic finite state transducers}
-\input{./edit-lens/src/Control/DFST/Lens.lhs}
+
+\input{./edit-lens/src/Control/Edit/String.lhs.tex}
+\input{./edit-lens/src/Control/DFST/Lens.lhs.tex}
+\input{./edit-lens/src/Control/Edit/String/Affected.lhs.tex}
 
 \subsection{Ausblick: Edit-lenses für non-determinische finite state transducers}
+
 \input{./edit-lens/src/Control/FST/Lens.tex}
+
+\section{Resultate}
+
+\subsection{Implementierung}
+
+\input{./implementation.tex}
+
+\subsection{Ausblick: Anwendbarkeit der Implementierung auf andere Parser}
+
+\input{./edit-lens/src/Control/Lens/Edit/ActionTree.lhs.tex}
-- 
cgit v1.2.3

