More minor edits (#693)

DESIGN.md

@@ -32,16 +32,16 @@ abstractions, and multiple avenues for exploration.  In other words,
 we *don't* want a linear chain of achievements, where you *must*
 enable language feature X in order to obtain resource Y, which you
 need in order to enable language feature Z, which you need in order
-to... and so on.  Some of this will probably happen organically---it
+to... and so on.  Some of this will probably happen organically; it
 would probably be impossible to enforce a strictly linear chain of
-achievements even if we wanted to---but it's worth reflecting on
+achievements even if we wanted to. But it's worth reflecting on
 explicitly.
 
 Discoverability
 ---------------
 
-Ideally, everything in the game---including both entities and
-programming language features---should be discoverable just by
+Ideally, everything in the game, including both entities and
+programming language features, should be discoverable just by
 playing.
 
 Balance

README.md

@@ -34,7 +34,10 @@ Features include:
 Installing
 ==========
 
-Instructions for installing from a binary release will go here!
+There will _soon_ be a release of Swarm on Hackage and in a binary form!
+If you are interested in Haskell or functional programming, you can install
+it from source (see below) or, once it is released, with the Cabal tool.
+For instructions on how to install the binary directly, check the releases.
 
 Installing from Source
 ----------------------

data/scenarios/Tutorials/turn.yaml

@@ -8,9 +8,9 @@ objectives:
   - goal:
       - In addition to `move`, you can use the `turn` command
         to turn your robot, for example, `turn right` or `turn east`.
-      - Switch to the inventory view (by clicking or hitting Alt+E) and select the treads
+      - Switch to the inventory view (by clicking on it, or typing `Alt+E`) and select the treads
         device to read about the details. You can come back to the
-        REPL panel by clicking or hitting Alt+R.
+        REPL prompt by clicking on it or typing `Alt+R`.
       - Afterwards, move your robot to the flower in the northeast corner.
       - Remember, you can chain commands with `;`, for example `move; move; move;`.
     condition: |

data/scenarios/Tutorials/types.yaml

@@ -6,9 +6,10 @@ objectives:
       - The Swarm programming language has a strong static type system.  That is,
         every expression in the language has a type, and all the types must match up
         properly before a program can be executed.
-      - To see the type of an expression, enter the expression at the REPL without
-        hitting Return.  If the expression type checks, its type will be displayed
-        in gray text at the top right of the REPL window.
+      - To see the type of an expression, enter the expression at the
+        REPL prompt without hitting Return.  If the expression type
+        checks,
+        its type will be displayed in gray text at the top right of the window.
       - For example, if you try typing `move`, you can see that it has
         type `cmd ()`, which means that `move` is a command which
         returns a value of the unit type (also written `()`).