From d17de699215d16c20725d59944c959b899e9d6d0 Mon Sep 17 00:00:00 2001 From: Srayan Jana Date: Sun, 31 Aug 2025 20:36:54 -0700 Subject: [PATCH] Update README.md --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 676df41..00e01b5 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,10 @@ Simple real-time Doom-style raycasting engine in Lean4: ![Screenshot](screenshots/screenshot1.png) +## Cloning + +When you clone, MAKE SURE YOU RUN ``git submodule update --init --recursive`` IN THE ROOT OF THIS REPOSITORY JUST TO BE SAFE + ## Run This is just an experiment