(no commit message)
authorchris <chris@web>
Thu, 19 Feb 2015 14:16:23 +0000 (09:16 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Thu, 19 Feb 2015 14:16:23 +0000 (09:16 -0500)
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 &Omega; 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;.