From: chris
Date: Thu, 19 Feb 2015 19:13:01 +0000 (-0500)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=1c7460ee6e639a6dc016e6bea83a0780aa2f7a6f;ds=inline
---
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!