let on_help () = 
  Format.eprintf "@[";
  Format.eprintf "help.           Displays this mesage.@\n";
  Format.eprintf "help commands.  Lists all commands.@\n";
  Format.eprintf "help syntax.    Outlines syntactic categories.@]@."