Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Some authors reserve the term "term" for just variables and abstracts. We'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms.
Some authors reserve the term "term" for just variables and abstracts. We'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms.
-Examples of expressions:
+Examples *of* expressions: