week1: tweaks
authorJim Pryor <profjim@jimpryor.net>
Thu, 16 Sep 2010 01:10:59 +0000 (21:10 -0400)
committerJim Pryor <profjim@jimpryor.net>
Thu, 16 Sep 2010 01:10:59 +0000 (21:10 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week1.mdwn

index e7061a8..48784ca 100644 (file)
@@ -59,7 +59,7 @@ We'll tend to write <code>(&lambda;a M)</code> as just `(\a M)`, so we don't hav
 
 Some authors reserve the term "term" for just variables and abstracts. We won't participate in that convention; 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 won't participate in that convention; we'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms.
 
-Samples of expressions: 
+Samples of expressions:&nbsp;
 
        foo
 
 
        foo