From 46ae60eaca841b554ba20c6a2b7a15b43c12b4df Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 18 Dec 2018 13:51:16 +0100 Subject: Much ado about nothing --- thesis.tex | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'thesis.tex') diff --git a/thesis.tex b/thesis.tex index 6b94318..cf5c489 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1,5 +1,19 @@ +\section{Edit-lenses} + Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen. Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen: \input{./edit-lens/src/Control/Edit.lhs} \input{./edit-lens/src/Control/Lens/Edit.lhs} + +\section{Finite state transducers} + +\input{./edit-lens/src/Control/FST.lhs} +\input{./edit-lens/src/Control/DFST.lhs} + +\subsection{Edit-lenses für deterministic finite state transducers} +\input{./edit-lens/src/Control/DFST/Lens.lhs} + +% \section{Container} + +% TODO: recover from git -- cgit v1.2.3