From d81cbaccd2860fe60bab1e4ea04806131b3a0312 Mon Sep 17 00:00:00 2001 From: chris Date: Tue, 17 Feb 2015 16:40:26 -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 30b3745e..b430f2fd 100644 --- a/topics/_week4_fixed_point_combinator.mdwn +++ b/topics/_week4_fixed_point_combinator.mdwn @@ -379,7 +379,7 @@ This fixed point is bit wierd. Let's reduce it a bit more: ~~> \yy.(\fy.ff)(\fy.ff) ~~> \yyy.(\fy.ff)(\fy.ff) -It appears that where `K` is a function that ignores (only) the first +It appears that where `K` is a function that ignores (only) the second argument you feed to it, the fixed point of `K` ignores an endless, infinite series of arguments. It's a write-only memory, a black hole. -- 2.11.0