The following grammar defines lists of lists of literals. The interpreration of symbols is the same as that for the grammar of fig. 6.3 witb the addition of the type list. which indicates a list of elements of the type T that follows
Write translation rules similar to those in Section 6.2 to determine the types of expressions (E) and lists (L).