From 062a4b4d1bdec908ec788ef7b78565f647b5411c Mon Sep 17 00:00:00 2001
From: Mark <mark@betalupi.com>
Date: Wed, 9 Nov 2022 21:44:58 -0800
Subject: [PATCH] Updated README

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

diff --git a/README.md b/README.md
index 6959386..26a0d9e 100644
--- a/README.md
+++ b/README.md
@@ -92,9 +92,11 @@ The lines in a file look exactly the same as regular entries in the prompt, but
  - History queue + indexing
  - Show history command
  - Loop detection
+ - Optimization: reduction can be slow with large trees.
  - $\alpha$-equivalence check
  - Command-line options (load a file)
  - Unchurch command: make church numerals human-readable
  - Better Syntax highlighting
  - Syntax highlight printouts
+ - Complete file names and commands
  - Tests
\ No newline at end of file