diff options
Diffstat (limited to 'thesis.tex')
-rw-r--r-- | thesis.tex | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -3,4 +3,3 @@ Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlic | |||
3 | 3 | ||
4 | \input{./edit-lens/src/Control/Edit.lhs} | 4 | \input{./edit-lens/src/Control/Edit.lhs} |
5 | \input{./edit-lens/src/Control/Lens/Edit.lhs} | 5 | \input{./edit-lens/src/Control/Lens/Edit.lhs} |
6 | \input{./edit-lens/src/Control/Edit/Tree.lhs} | ||