Signed-off-by: Jim Pryor <profjim@jimpryor.net>
<strong>Abstract</strong>: <code>(λa M)</code>
</blockquote>
<strong>Abstract</strong>: <code>(λa M)</code>
</blockquote>
-We'll tend to write <code>(λa M)</code> as just `( \a M )`.
+We'll tend to write <code>(λa M)</code> as just `(\a M)`, so we don't have to write out the markup code for the <code>λ</code>. You can yourself write <code>(λa M)</code> or `(\a M)` or `lambda a M`.
<blockquote>
<strong>Application</strong>: <code>(M N)</code>
<blockquote>
<strong>Application</strong>: <code>(M N)</code>