Strings

A string is a sequence of characters; it is treated as a vector of characters. The external form of a string is the characters enclosed in double-quotes:


   "This is a string!"
Special characters can be included in a string by escaping them with a back-slash:

   "Type \"stop\" to quit."

Contents    Page-10    Prev    Next    Page+10    Index