diff options
Diffstat (limited to 'thesis.tex')
-rw-r--r-- | thesis.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/thesis.tex b/thesis.tex new file mode 100644 index 0000000..adc6515 --- /dev/null +++ b/thesis.tex | |||
@@ -0,0 +1 @@ | |||
\input{./edit-lens/src/Control/Lens/Edit.lhs} | |||