diff --git a/.ghci b/.ghci index c3230f5..5dc7706 100644 --- a/.ghci +++ b/.ghci @@ -1,3 +1,2 @@ putStrLn "Welcome to the Universal Calculator!" :set prompt "\x03BB> " -:set +s diff --git a/README.md b/README.md index e0df9b3..533868b 100644 --- a/README.md +++ b/README.md @@ -62,5 +62,5 @@ Hello, world! - `cd` into the top level of this repo. - `nix develop` and let Nix load the flake and set everything up. - `ghci` and get computing! - - To disable performance timings after every input, type `λ> :unset +s` in the REPL + - To enable performance timings after every input, type `λ> :set +s` in the REPL - See other initial commands being run in the `.ghci` file.