From a7674d4635e54d6aeb94b08d783acb62e58f477f Mon Sep 17 00:00:00 2001 From: James Eversole Date: Sun, 29 Dec 2024 10:41:04 -0600 Subject: [PATCH] README updates for run/build --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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