@@ -81,7 +81,10 @@ To install Idris:
81* `stack install`
81* `stack install`
83Stack will install Idris (and related executables) into `$HOME/.local/bin/`
83Stack 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.
86Of note: If you haven't used stack before commands will also setup the
89Of note: If you haven't used stack before commands will also setup the
87related infrastructure. For more information about Stack please visit
90related infrastructure. For more information about Stack please visit