(no commit message)

diff --git a/topics/_week4_fixed_point_combinator.mdwn b/topics/_week4_fixed_point_combinator.mdwn
index 30b3745..b430f2f 100644 (file)
--- 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)
     
         ~~> \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.
 
 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.