From 098cf0832aa61d71f3e5be706335f44001f12196 Mon Sep 17 00:00:00 2001
From: jackjohn7 <70782491+jackjohn7@users.noreply.github.com>
Date: Fri, 15 May 2026 01:02:39 -0500
Subject: [PATCH] update README

---
 README.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..7a24615
--- /dev/null
+++ b/README.md
@@ -0,0 +1,12 @@
+# Lamb
+
+A (very WIP) lambda expression evaluator and debugger.
+
+I'd like to build the following:
+
+- [ ] parsing with parsec
+- [ ] alpha/beta reduction to beta normal
+- [ ] substitutions for known abstractions (numbers can be written and are displayed as numbers rather than lambda terms)
+- [ ] persisted variables
+- [ ] display all steps in alpha/beta reductions until beta normal form is reached
+- [ ] online web-based lambda playground