From 1bb62543514cab5f3dbe7d4e481eae0262b45bc0 Mon Sep 17 00:00:00 2001 From: chris Date: Thu, 19 Feb 2015 09:16:23 -0500 Subject: [PATCH] --- exercises/_assignment4.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 Ω. -- 2.11.0