From 50c0eaf84c61df68aa58fd3ac80fcced88cde959 Mon Sep 17 00:00:00 2001
From: msydneyslaga <118566473+msydneyslaga@users.noreply.github.com>
Date: Mon, 11 Dec 2023 18:27:31 -0700
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 5e1a8b2..fd8a637 100644
--- a/README.md
+++ b/README.md
@@ -59,7 +59,7 @@ Listed in order of importance.
         - [ ] Core language emitter
     - [ ] Core linter (Type-checker)
     - [ ] Core2Core pass
-        - [ ] GM prep
+        - [x] GM prep
             - [x] Non-strict case-floating
         - [ ] Let-floating
         - [ ] TCO
@@ -72,8 +72,7 @@ Listed in order of importance.
     - [ ] Translation to the core language
         - [ ] Constraint solver
         - [ ] `do`-notation
-        - [ ] Renamer
-    - [ ] CLI
+    - [x] CLI
 - [ ] Documentation
     - [ ] State transition rules
     - [ ] How does the evaluation model work?