@@ -361,7 +361,7 @@ return ``True``, otherwise we need to return ``False``:
362There is a slight difficulty if we're developing interactively, which is
362There is a slight difficulty if we're developing interactively, which is
363that if we leave a hole, the required output state isn't easily visible
363that 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
365incomplete definition of ``readAndAdd`` we've left a hole for the
365incomplete definition of ``readAndAdd`` we've left a hole for the
366successful case:
366successful case:
@@ -373,7 +373,7 @@ successful case:
373 then ?whatNow
373 then ?whatNow
374 else pure False
374 else pure False
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
377than informative:
377than informative:
379.. code-block:: idris
379.. code-block:: idris