module Commands where

import Question

commands = do

  h2 $ text "More on commands"

  p <#>It is time to take a look at other Hugs commands. For
           instance the one used to exit the program:</#>

  prompts' [ (":q", "[Leaving Hugs]") ]

  p <#>All commands given to Hugs, except for expressions to be
       computed, begin with a colon. Start Hugs again and read the
       welcome message a little more carefully.</#>

  <#>What commands are available in Hugs?</#> ?> do

      p <#>The second to last line in the welcome message says
        <tt>Type :? for help</tt>.</#>

      p <#>Do this to list all available commands. Note that <tt>:?</tt>
           is a command itself (that, just like we said, starts with a
           colon). Note also that the complete name of the command
           used to exit Hugs is <tt>:quit</tt>, but that all commands
           can be shortened.</#>

      p <#>For the time being, most commands are incomprehensible. We shall soon
          study more of them.</#>