From b371b75c5ec7318704853cb2295f5314938c85f9 Mon Sep 17 00:00:00 2001
From: msydneyslaga <118566473+msydneyslaga@users.noreply.github.com>
Date: Mon, 11 Dec 2023 14:22:52 -0700
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index b22c5c8..5e1a8b2 100644
--- a/README.md
+++ b/README.md
@@ -60,7 +60,7 @@ Listed in order of importance.
     - [ ] Core linter (Type-checker)
     - [ ] Core2Core pass
         - [ ] GM prep
-            - [ ] Non-strict case-floating
+            - [x] Non-strict case-floating
         - [ ] Let-floating
         - [ ] TCO
         - [ ] DCE