From 54d147b95493098cc3bc02976cf35275f436ca46 Mon Sep 17 00:00:00 2001
From: jackjohn7 <70782491+jackjohn7@users.noreply.github.com>
Date: Sun, 17 May 2026 00:26:30 -0500
Subject: [PATCH] update readme

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index bdc771d..afc9ae5 100644
--- a/README.md
+++ b/README.md
@@ -5,9 +5,10 @@ A (very WIP) lambda expression evaluator and debugger.
 I'd like to build the following:
 
 - [X] parsing with parsec
-  - need to harden tests a bit more but existing tests pass
 - [X] alpha/beta reduction to beta normal
 - [ ] substitutions for known abstractions (numbers can be written and are displayed as numbers rather than lambda terms)
+  - [ ] replace known terms in input
+  - [X] replace known terms in output
 - [ ] persisted variables
 - [ ] display all steps in alpha/beta reductions until beta normal form is reached
 - [ ] online web-based lambda playground