(no commit message)

[lambda.git] / topics / _week4_fixed_point_combinator.mdwn

diff --git a/topics/_week4_fixed_point_combinator.mdwn b/topics/_week4_fixed_point_combinator.mdwn
index 39747b0..fdf19a3 100644 (file)
--- 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!