@@ -63,6 +63,7 @@ library:
6363
6464 module Main
6565
66+ import Effects
6667 import Effect.StdIO
6768
6869 hello : [STDIO] Eff ()
@@ -71,10 +72,11 @@ library:
7172 main : IO ()
7273 main = run hello
7374
74−As usual, the entry point is ``main``. All ``main`` has to do is
75−invoke the ``hello`` function which supports the ``STDIO`` effect for
76−console I/O, and returns the unit value. The details of the ``Eff``
77−type will be presented in the remainder of this tutorial.
75+As usual, the entry point is ``main``. All ``main`` has to do is invoke the
76+``hello`` function which supports the ``STDIO`` effect for console I/O, and
77+returns the unit value. All programs using the ``Effects`` library must
78+``import Effects``. The details of the ``Eff`` type will be presented in the
79+remainder of this tutorial.
7880
7981To compile and run this program, ``Idris`` needs to be told to include
8082the ``Effects`` package, using the ``-p effects`` flag (this flag is