X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment4.mdwn;fp=assignment4.mdwn;h=54a3bf201d1914997fbf3d49cc669059d36a16e4;hp=9f56675892ddaabde44640fa0f227c124ca6dcc5;hb=075d7652f07175e96cc07ab2392186c4f3524c08;hpb=880952bd8862bde3c8e71238097fc2726c244e57 diff --git a/assignment4.mdwn b/assignment4.mdwn index 9f566758..54a3bf20 100644 --- a/assignment4.mdwn +++ b/assignment4.mdwn @@ -81,7 +81,7 @@ Suppose we had a pair of fixed point operators, `Y1` and `Y2`, that operated on If we gave you such a `Y1` and `Y2`, how would you implement the above definitions of `even` and `odd`? -
  • (More challenging.) Using our derivation of Y from the [[Week2]] notes as a model, construct a pair `Y1` and `Y2` that behave in the way described. +
  • (More challenging.) Using our derivation of Y from the [Week3 notes](/week3/#index4h2) as a model, construct a pair `Y1` and `Y2` that behave in the way described. (See [[hints/Assignment 4 hint 4]] if you need some hints.)