diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2017-11-24 17:38:54 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2017-11-24 17:38:54 +0100 |
| commit | afc34d76c845f1be96818addcffb4f70d9d2ea9d (patch) | |
| tree | 8e5d9180cc5986e219e5d776bf7bae37913fbf9d /thesis.tex | |
| parent | b9db9f8d7f3eb993ed345357c428a94c9a208c5b (diff) | |
| download | incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.tar incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.tar.gz incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.tar.bz2 incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.tar.xz incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.zip | |
Work on containers
Diffstat (limited to 'thesis.tex')
| -rw-r--r-- | thesis.tex | 11 |
1 files changed, 10 insertions, 1 deletions
| @@ -1,6 +1,15 @@ | |||
| 1 | \section{Edits und 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} |
| 7 | |||
| 5 | \input{./edit-lens/src/Control/Lens/Edit.lhs} | 8 | \input{./edit-lens/src/Control/Lens/Edit.lhs} |
| 6 | \input{./edit-lens/src/Control/Edit/Tree.lhs} | 9 | |
| 10 | \paragraph{Generische Konstruktionen für edit-lenses} | ||
| 11 | \input{./edit-lens/src/Control/Lens/Edit/Generic.lhs} | ||
| 12 | |||
| 13 | \section{Edit-lenses für container} | ||
| 14 | |||
| 15 | \input{./edit-lens/src/Control/Edit/Container.lhs} | ||