From d91628856532f5b85b8f8f2d0d3ad40672628b1c Mon Sep 17 00:00:00 2001
From: jackjohn7 <70782491+jackjohn7@users.noreply.github.com>
Date: Sat, 16 May 2026 17:54:08 -0500
Subject: [PATCH] add test expr and update gitignore

---
 .gitignore | 1 +
 test.lm    | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 test.lm

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)