From afc34d76c845f1be96818addcffb4f70d9d2ea9d Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 24 Nov 2017 17:38:54 +0100 Subject: Work on containers --- thesis.tex | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'thesis.tex') diff --git a/thesis.tex b/thesis.tex index f975ba7..c4e5768 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1,6 +1,15 @@ +\section{Edits und 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} -\input{./edit-lens/src/Control/Edit/Tree.lhs} + +\paragraph{Generische Konstruktionen für edit-lenses} +\input{./edit-lens/src/Control/Lens/Edit/Generic.lhs} + +\section{Edit-lenses für container} + +\input{./edit-lens/src/Control/Edit/Container.lhs} -- cgit v1.2.3