Re: SMIE documentation

[Chong Yidong]

A few quick comments:

> +programming languages's syntax is designed to be parsed forward, but for

This should be "languages'", or "the syntax of programming languages".

> +extra effort; but it also means that most programming languages cannot
> +be parsed correctly, at least not without resorting to some
> +special tricks.

You should xref to "SMIE Tricks", if that is what you are referring to.
In general, it is good to add xrefs to the introduction, even if there
are links to the same nodes in the menu below that introduction, because
that makes it clearer to the reader exactly where to find the more
detailed treatment of each statement in the introduction.

Also, it would be nice to have a better description of what kinds of
languages it's practical to use SMIE for.

> address@hidden SMIE Grammar
> address@hidden Defining the Grammar of a Language
> +
> +The usual way to define the SMIE grammar of a language is by
> +defining a new global variable holding the precedence table by
> +giving a set of BNF rules.
> +For example:

It might be good to give a sample of the kind of language that this
example is supposed to indent.