From 84c5229fbf938a1e3ce80c50afac93d45c2e6512 Mon Sep 17 00:00:00 2001
From: Mark <mark@betalupi.com>
Date: Fri, 21 Oct 2022 17:14:20 -0700
Subject: [PATCH] Updated README

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

diff --git a/README.md b/README.md
index dc9aadf..39c638a 100644
--- a/README.md
+++ b/README.md
@@ -7,8 +7,6 @@
  - Python files: installable, package list, etc
  - $\alpha$-equivalence check
  - Versioning
- - Clean up runner & printing
- - Count reductions
 
 ## Todo:
  - live syntax check