diff --git a/README.md b/README.md index d65c365..bcf9b99 100644 --- a/README.md +++ b/README.md @@ -18,7 +18,7 @@ curl https://elan.lean-lang.org/elan-init.sh -sSf | sh git clone --recursive https://github.com/oOo0oOo/LeanDoomed.git cd LeanDoomed -# Run the "game" +# Run the "game". The initial run will take a few minutes to compile everything. lake exe LeanDoomed ```