diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-12-18 13:51:16 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-12-18 13:51:16 +0100 |
| commit | 46ae60eaca841b554ba20c6a2b7a15b43c12b4df (patch) | |
| tree | 0bb06127a0e08e75f8be755f5a5dfb1702b627b6 /thesis.tex | |
| parent | b0b18979d5ccd109d5a56937396acdeb85c857aa (diff) | |
| download | incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.tar incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.tar.gz incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.tar.bz2 incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.tar.xz incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.zip | |
Much ado about nothing
Diffstat (limited to 'thesis.tex')
| -rw-r--r-- | thesis.tex | 14 |
1 files changed, 14 insertions, 0 deletions
| @@ -1,5 +1,19 @@ | |||
| 1 | \section{Edit-lenses} | ||
| 2 | |||
| 1 | Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen. | 3 | Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen. |
| 2 | Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen: | 4 | Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen: |
| 3 | 5 | ||
| 4 | \input{./edit-lens/src/Control/Edit.lhs} | 6 | \input{./edit-lens/src/Control/Edit.lhs} |
| 5 | \input{./edit-lens/src/Control/Lens/Edit.lhs} | 7 | \input{./edit-lens/src/Control/Lens/Edit.lhs} |
| 8 | |||
| 9 | \section{Finite state transducers} | ||
| 10 | |||
| 11 | \input{./edit-lens/src/Control/FST.lhs} | ||
| 12 | \input{./edit-lens/src/Control/DFST.lhs} | ||
| 13 | |||
| 14 | \subsection{Edit-lenses für deterministic finite state transducers} | ||
| 15 | \input{./edit-lens/src/Control/DFST/Lens.lhs} | ||
| 16 | |||
| 17 | % \section{Container} | ||
| 18 | |||
| 19 | % TODO: recover from git | ||