@@ -81,7 +81,10 @@ To install Idris:
8181* `stack install`
8282
8383Stack will install Idris (and related executables) into `$HOME/.local/bin/`
84−on Unix based systems and an appropriate place on Windows.
84+on Unix based systems and an appropriate place on Windows. The libraries that
85+are included with Idris (e.g. Builtins, Prelude) will 'install' into `<source
86+dir>/.stack_work/install/...` so you'll need to keep your source directory
87+around after you've installed Idris using Stack.
8588
8689Of note: If you haven't used stack before commands will also setup the
8790related infrastructure. For more information about Stack please visit