From afc34d76c845f1be96818addcffb4f70d9d2ea9d Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
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

