@@ -361,7 +361,7 @@ return ``True``, otherwise we need to return ``False``:
361361
362362There is a slight difficulty if we're developing interactively, which is
363363that if we leave a hole, the required output state isn't easily visible
364−until we know the value that's being returning. For example. in the following
364+until we know the value that's being returned. For example. in the following
365365incomplete definition of ``readAndAdd`` we've left a hole for the
366366successful case:
367367
@@ -373,7 +373,7 @@ successful case:
373373 then ?whatNow
374374 else pure False
375375
376−We can look at the type of ``?whatNow``, but it is unforunately rather less
376+We can look at the type of ``?whatNow``, but it is unfortunately rather less
377377than informative:
378378
379379.. code-block:: idris