Fix dev shell

README.adoc

@@ -75,9 +75,9 @@ If you use Nix, these tools are provided for you via `shell.nix`, and you do *no
 [[building-with-nix]]
 ==== How to build the Haskell packages and other artifacts with Nix
 
-Run `nix build marlowe-playground-server:exe:marlowe-playground-server` from the root to build the Playground backend service.
+Run `nix build .#marlowe-playground-server:exe:marlowe-playground-server` from the root to build the Playground backend service.
 
-See <<nix-build-attributes>> to find out what other attributes you can build.
+Try `nix flake show` to see the packages available to build.
 
 ==== How to build the Haskell packages with `cabal`
 

flake.nix

@@ -107,6 +107,9 @@
                   (with pkgs; [
                     nixpkgs-fmt
                     nodePackages.prettier
+                    pkgs.nil
+                    pkgs.nodejs-14_x
+                    pkgs.z3
                   ]
                   )
                   ++

marlowe-playground-client/README.md

@@ -14,8 +14,8 @@ Now we will build and run the front end:
 [nix-shell] $ cd marlowe-playground-client
 # Generate the purescript bridge files
 [nix-shell] $ marlowe-playground-generate-purs
-# Download javascript dependencies
-[nix-shell] $ npm install
+# Download javascript dependencies (we use ci to use the package-lock.json)
+[nix-shell] $ npm ci
 # Install purescript depdendencies
 [nix-shell] $ npm run build:spago
 # Precompile js dependencies bundle