diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-07 09:08:42 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-07 09:08:42 +0200 |
commit | a29cce747f3717e32231c9a92b40be12832037b6 (patch) | |
tree | 70f399682dec8657719eae4358e87cdc24bbf42f /thesis.tex | |
parent | 9a02751c1e588a5bbb83bb7e543c26486d3079d5 (diff) | |
download | incremental-dfsts-a29cce747f3717e32231c9a92b40be12832037b6.tar incremental-dfsts-a29cce747f3717e32231c9a92b40be12832037b6.tar.gz incremental-dfsts-a29cce747f3717e32231c9a92b40be12832037b6.tar.bz2 incremental-dfsts-a29cce747f3717e32231c9a92b40be12832037b6.tar.xz incremental-dfsts-a29cce747f3717e32231c9a92b40be12832037b6.zip |
Finish for submission
Diffstat (limited to 'thesis.tex')
-rw-r--r-- | thesis.tex | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -1,5 +1,3 @@ | |||
1 | \input{./org.tex} | ||
2 | |||
3 | \section{Einführung} | 1 | \section{Einführung} |
4 | \input{./intro.tex} | 2 | \input{./intro.tex} |
5 | 3 | ||
@@ -22,7 +20,7 @@ Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlic | |||
22 | \input{./edit-lens/src/Control/DFST/Lens.lhs.tex} | 20 | \input{./edit-lens/src/Control/DFST/Lens.lhs.tex} |
23 | \input{./edit-lens/src/Control/Edit/String/Affected.lhs.tex} | 21 | \input{./edit-lens/src/Control/Edit/String/Affected.lhs.tex} |
24 | 22 | ||
25 | \subsection{Ausblick: Edit-lenses für non-determinische finite state transducers} | 23 | \subsection{Ausblick: Edit-lenses für nicht-determinische finite state transducers} |
26 | 24 | ||
27 | \input{./edit-lens/src/Control/FST/Lens.tex} | 25 | \input{./edit-lens/src/Control/FST/Lens.tex} |
28 | 26 | ||
@@ -36,6 +34,6 @@ Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlic | |||
36 | 34 | ||
37 | \input{./edit-lens/src/Control/Lens/Edit/ActionTree.lhs.tex} | 35 | \input{./edit-lens/src/Control/Lens/Edit/ActionTree.lhs.tex} |
38 | 36 | ||
39 | \section{Fazit} | 37 | \section{Zusammenfassung} |
40 | 38 | ||
41 | \input{conclusion.tex} | 39 | \input{conclusion.tex} |