(no commit message)
[lambda.git] / exercises / _assignment4.mdwn
index 0ff4b2c..1811e05 100644 (file)
@@ -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
-<code>&Omega; X <~~> &Omegea;(&Omega; X)</code>?  To answer this
+<code>&Omega; X <~~> &Omega;(&Omega; X)</code>?  To answer this
 question, begin by constructing <code>Y&Omega;</code>.  Prove that 
 <code>Y&Omega;</code> is a fixed point for &Omega;.