X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=assignment4.mdwn;h=54a3bf201d1914997fbf3d49cc669059d36a16e4;hb=075d7652f07175e96cc07ab2392186c4f3524c08;hp=9f56675892ddaabde44640fa0f227c124ca6dcc5;hpb=154e84d6eb3f8aad60181f24327671ff8f090cbc;p=lambda.git 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.)