From: chris Date: Thu, 19 Feb 2015 14:16:23 +0000 (-0500) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=1bb62543514cab5f3dbe7d4e481eae0262b45bc0 --- diff --git a/exercises/_assignment4.mdwn b/exercises/_assignment4.mdwn index 0ff4b2c3..1811e055 100644 --- a/exercises/_assignment4.mdwn +++ b/exercises/_assignment4.mdwn @@ -12,7 +12,7 @@ and prove that it is a fixed point. never gets around to noticing whether it has an argument, let alone doing anything with that argument. If so, how could Ω have a fixed point? That is, how could there be an `X` such that -Ω X <~~> &Omegea;(Ω X)? To answer this +Ω X <~~> Ω(Ω X)? To answer this question, begin by constructing YΩ. Prove that YΩ is a fixed point for Ω.