Lecture 1
Languages and Metafunctions
The goal of this lecture is to introduce three basic points:
abstract syntax trees (AST) as the essence of syntax,
the Redex representation of abstract syntax trees, and
Redex metafunctions for programming with abstract syntax.