diff --git a/.gitignore b/.gitignore
index 0264734..8d84b72 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 dist-newstyle/
 .direnv/
+result
diff --git a/test.lm b/test.lm
new file mode 100644
index 0000000..3be6e04
--- /dev/null
+++ b/test.lm
@@ -0,0 +1 @@
+(λx.λy.λz. x z (y z)) (λa.λb. a) (λa.λb. a)