author Jim Pryor Wed, 15 Sep 2010 21:22:41 +0000 (17:22 -0400) committer Jim Pryor Wed, 15 Sep 2010 21:22:41 +0000 (17:22 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 week1.mdwn patch | blob | history

index c68da8a..788e827 100644 (file)
@@ -281,14 +281,14 @@ Lambda terms represent functions
All (recursively computable) functions can be represented by lambda
terms (the untyped lambda calculus is Turing complete). For some lambda terms, it is easy to see what function they represent:

-(\x x) represents the identity function: given any argument M, this function
-simply returns M: ((\x x) M) ~~> M.
+>      `(\x x)` represents the identity function: given any argument `M`, this function
+simply returns `M`: `((\x x) M) ~~> M`.

-(\x (x x)) duplicates its argument:
-((\x (x x)) M) ~~> (M M)
+>      `(\x (x x))` duplicates its argument:
+`((\x (x x)) M) ~~> (M M)`

-(\x (\y x)) throws away its second argument:
-(((\x (\y x)) M) N) ~~> M
+>      `(\x (\y x))` throws away its second argument:
+`(((\x (\y x)) M) N) ~~> M`

and so on.