From cd61390f2486811613d3e84163095dcbd326b960 Mon Sep 17 00:00:00 2001
From: Joscha <brummer@migejolise.de>
Date: Sun, 10 Dec 2017 21:40:24 +0000
Subject: [PATCH] Add a few tests

---
 tests.txt | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 tests.txt

diff --git a/tests.txt b/tests.txt
new file mode 100644
index 0000000..529c111
--- /dev/null
+++ b/tests.txt
@@ -0,0 +1,8 @@
+\a.a
+(\a b.a b) (\c.c) d
+(\x.x x) (\x.x x)
+(\x.x (\a b.b) (\a b.a)) (\a b.a)
+(\x.x (\a b.b) (\a b.a)) (\a b.b)
+(\f.(\x.f(x x))(\x.f(x x))) (\a b.a)
+(\f.(\x.f(x x))(\x.f(x x))) (\a b.b)
+(\f.(\x.f(x x))(\x.f(x x))) (\f a.a f a) (\a b.a) (\a b.a) (\a b.b) (\a b.a)