From: chris Date: Tue, 17 Feb 2015 21:40:26 +0000 (-0500) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=d81cbaccd2860fe60bab1e4ea04806131b3a0312 --- 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.