From 529d127667a366f306f975b3ed34e8a118f3cefc Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Sun, 4 Feb 2018 17:39:46 +0100 Subject: Define DFSTs --- thesis.tex | 1 - 1 file changed, 1 deletion(-) (limited to 'thesis.tex') diff --git a/thesis.tex b/thesis.tex index f975ba7..6b94318 100644 --- a/thesis.tex +++ b/thesis.tex @@ -3,4 +3,3 @@ Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlic \input{./edit-lens/src/Control/Edit.lhs} \input{./edit-lens/src/Control/Lens/Edit.lhs} -\input{./edit-lens/src/Control/Edit/Tree.lhs} -- cgit v1.2.3