Updated README

2022-10-21 17:14:20 -07:00 · 2022-10-21 17:14:20 -07:00 · 84c5229fbf
commit 84c5229fbf
parent a4af47435a
1 changed files with 0 additions and 2 deletions
--- 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