diff --git a/README.md b/README.md
index 58ca836..5d1f9b2 100644
--- a/README.md
+++ b/README.md
@@ -8,10 +8,12 @@ Simple real-time Doom-style raycasting engine in Lean4:
 
 ## Run
 
-This is just an experiment and the build is currently specific to Linux or WSL only
+This is just an experiment
 
 First, make sure you've set up Lean properly on your computer.
-Follow the "legacy" instructions from here: https://leanprover-community.github.io/install/linux.html
+If you are on Windows, use MSYS2 or WSL 
+IMPORTANT: FOR MSYS2, MAKE SURE YOU ARE USING THE "CLANG" SHELL TO RUN EVERYTHING
+Follow the "legacy" instructions from here (They should work on Linux, WSL, and MSYS2): https://leanprover-community.github.io/install/linux.html
 
 Second, make sure you run the build script first to build all the dependencies to get this to work