diff options
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 | ||