From b9eaf43c5da941b8e7c37c4ac950c8f2a7e618cd Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Mon, 13 Nov 2017 17:05:24 +0100
Subject: Initial work on central definitions

---
 thesis.tex | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 thesis.tex

(limited to 'thesis.tex')

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}
-- 
cgit v1.2.3