anchor.diff:      end
     | _ => System.log (LString.s "Expected one parameter.")
     end.</pre>
  -        <p>It is analogous to the <code>cat</code> Unix command. It uses the command line argument to get the file name to display, and then read the file with <code>System.read_file</code>.</p>
  +        <p>It is analogous to the <code>cat</code> Unix command. It uses the command-line argument to get the file name to display, and then read the file with <code>System.read_file</code>.</p>
   
             <h3>Uname</h3>
             <p>This program wrap the <code>uname</code> command to display the operating system kind and the type of machine:</p>
  
positive.code: Task of 2 seconds ended.</pre>
  
            <h2>The effects system</h2>
  
            <h2>Verification by use cases</h2>
          </div>
  
negative.code:           <p>The full documentation of the <code>coq:io:system</code> library is available on <em>TODO</em>.</p>
  
            <h3>Your name</h3>
            <p>The following program reads a name on the command-line and answers hello to this name:</p>
            <pre>(** Ask for the user name and answer hello. *)
  Definition your_name (argv : list LString.t) : C.t System.effect unit :=
    do! System.log (LString.s "What is your name?") in
  