From d1a1834846cfcbb93a46ed08f8c5700b28ecd34d Mon Sep 17 00:00:00 2001
From: Stefan Dresselhaus <sdressel@techfak.uni-bielefeld.de>
Date: Sun, 22 Apr 2018 12:10:27 +0200
Subject: [PATCH] created makefile

---
 Makefile                        |  13 +++++++++++++
 sketch.pdf => documentation.pdf | Bin 194248 -> 194248 bytes
 sketch.md => sketch.md.lhs      |   0
 3 files changed, 13 insertions(+)
 create mode 100644 Makefile
 rename sketch.pdf => documentation.pdf (99%)
 rename sketch.md => sketch.md.lhs (100%)

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..f7359c1
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,13 @@
+.PHONY: run pdf ghci
+
+INPUT = sketch.md.lhs
+
+pdf: $(INPUT)
+	pandoc -f markdown+lhs+smart+emoji -o documentation.pdf $(INPUT)
+
+
+run: $(INPUT)
+	runhaskell $(INPUT)
+
+ghci: $(INPUT)
+	ghci $(INPUT)
diff --git a/sketch.pdf b/documentation.pdf
similarity index 99%
rename from sketch.pdf
rename to documentation.pdf
index 4262a4a34b7803e94ffaab21d5543976f7d5c3dc..ffba2e3cb221cfe0f9034b7dd89acdb3c46a43b0 100644
GIT binary patch
delta 114
zcmX@{mixq8?uHh|ElgJL*o_R03@lA7r#rr5l7Vryr@Ui|V{>*jw=^+xHncD>vvjdE
iws0~sF?Tg{bapi|HF0q=v2?amupy*mJL^}b!;Ao+<{x_i

delta 114
zcmX@{mixq8?uHh|ElgJL*bR*gj4Vt{raQi4l7Vryr@Ui|V{>+KbTP1SG&M1GH8(Q_
fDROo;ay2qBv@`~?T`gSg6l@47+0Ocv=`bSznAIOS

diff --git a/sketch.md b/sketch.md.lhs
similarity index 100%
rename from sketch.md
rename to sketch.md.lhs