diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-02-19 11:39:51 +0100 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-02-19 11:39:51 +0100 |
commit | 8afbe1f7df24034dd16fdf2e89b0665b2318ae2a (patch) | |
tree | 095be830c34c4aa9682a7047f4b0e412178ab24b /thesis.tex | |
parent | 46ae60eaca841b554ba20c6a2b7a15b43c12b4df (diff) | |
download | incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.tar incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.tar.gz incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.tar.bz2 incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.tar.xz incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.zip |
Stuff...
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 | ||