Updated purescript

README.md

@@ -5,7 +5,7 @@
 Compiling the [`purescript`](http://www.purescript.org) code, supposing [`nvm`](http://nvm.sh) is already installed, is as simple as typing:
 
     > nvm install --lts (12.16.1)
-    > npm install -g purescript@0.13.6
+    > npm install -g purescript@0.13.8
     > npm install -g spago@0.15.2
     > npm install -g parcel-bundler@1.12.4
     > npm install -g sass@1.26.5
@@ -24,9 +24,11 @@ To support editing Purescript files, there are two useful VSCode plugins:
 In order to have errors highlighted directly into VSCode, you need to set one option into the "PureScript IDE" module:
 - "purescript.editorMode": true (Editor Mode: Whether to set the editor-mode flag on the IDE server)
 
+To build the application just execute `yarn build`; if you want to cleanup the workarea of all temporary files, `yarn clean` will do it.
+
 To run the application, just type the following two commands in two different terminal windows:
 - `yarn develop-purs`   # this is only required if your editor is not integrated with the purs compiler
-- `yarn develop-app`    
+- `yarn develop-app`    # this command will not build the application; it'll just bundle resources to be loaded by the browser
 
 The first command will invoke `spago` to continuosly compile the PureScript files, while the second will start a web server to serve the application on a local port, reported by [`ParcelJS`]() logs:
 

package.json

@@ -15,7 +15,7 @@
         "sass": "^1.26.5"
     },
     "dependencies": {
-        "purescript": "^0.13.6",
+        "purescript": "^0.13.8",
         "purty": "^6.2.0",
         "react": "^16.13.1",
         "react-dom": "^16.13.1",