@@ -37,7+37,6 @@ We'll tend to write <code>(λa M)</code> as just `(\a M)`, so we don't hav
<strong>Application</strong>: <code>(M N)</code>
</blockquote>
<strong>Application</strong>: <code>(M N)</code>
</blockquote>
-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.