Lecture 2
More Languages, More Design
The grammars of programming languages tend to come with clauses that refer
to themselves and/or at least to each other. The purpose of this lecture is
to introduce such languages in Redex and functions that operate on them.