From 1c7460ee6e639a6dc016e6bea83a0780aa2f7a6f Mon Sep 17 00:00:00 2001 From: chris Date: Thu, 19 Feb 2015 14:13:01 -0500 Subject: [PATCH] --- topics/_week4_fixed_point_combinator.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/_week4_fixed_point_combinator.mdwn b/topics/_week4_fixed_point_combinator.mdwn index 39747b0e..fdf19a3a 100644 --- a/topics/_week4_fixed_point_combinator.mdwn +++ b/topics/_week4_fixed_point_combinator.mdwn @@ -368,7 +368,7 @@ Test: ~~> (\u. h (u u)) (\u. h (u u)) ~~> h ((\u. h (u u)) (\u. h (u u))) -But the argument of `h` in the last line is just the same as the second line, which <~~> `Y h`. So the last line <~~> `h (Y h)`. In other words, `Y h` <~~> `h (Y h)`. So by definition, `Y h` is a fixed point for `h`. +But the argument of `h` in the last line is just the same as the second line, which `<~~> Y h`. So the last line `<~~> h (Y h)`. In other words, `Y h <~~> h (Y h)`. So by definition, `Y h` is a fixed point for `h`. Works! -- 2.11.0