diff options
Diffstat (limited to 'thesis.tex')
-rw-r--r-- | thesis.tex | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -14,6 +14,5 @@ Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlic | |||
14 | \subsection{Edit-lenses für deterministic finite state transducers} | 14 | \subsection{Edit-lenses für deterministic finite state transducers} |
15 | \input{./edit-lens/src/Control/DFST/Lens.lhs} | 15 | \input{./edit-lens/src/Control/DFST/Lens.lhs} |
16 | 16 | ||
17 | % \section{Container} | 17 | \subsection{Ausblick: Edit-lenses für non-determinische finite state transducers} |
18 | 18 | \input{./edit-lens/src/Control/FST/Lens.tex} | |
19 | % TODO: recover from git | ||