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