diff --git a/README.md b/README.md
index 69fa3ba..bb19e44 100644
--- a/README.md
+++ b/README.md
@@ -50,8 +50,10 @@ READ -: ["Tree Calculus is super cool!", "Intensionality is super cool!", "tricu
 
 You can easily build and/or run this project using [Nix](https://nixos.org/download/).
 
-- Build REPL binary: `nix build git+https://git.eversole.co/James/tricu`
-- Run REPL: `nix run git+https://git.eversole.co/James/tricu`
+- Run REPL immediately: 
+  - `nix run git+https://git.eversole.co/James/tricu`
+- Build REPL executable in `./result/bin`: 
+  - `nix build git+https://git.eversole.co/James/tricu`
 
 ## Acknowledgements