projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1557d47
)
(no commit message)
author
chris
<chris@web>
Thu, 19 Feb 2015 14:16:23 +0000
(09:16 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Thu, 19 Feb 2015 14:16:23 +0000
(09:16 -0500)
exercises/_assignment4.mdwn
patch
|
blob
|
history
diff --git
a/exercises/_assignment4.mdwn
b/exercises/_assignment4.mdwn
index
0ff4b2c
..
1811e05
100644
(file)
--- 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
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>Ω X <~~> &Omeg
e
a;(Ω X)</code>? To answer this
+<code>Ω X <~~> Ω(Ω X)</code>? To answer this
question, begin by constructing <code>YΩ</code>. Prove that
<code>YΩ</code> is a fixed point for Ω.
question, begin by constructing <code>YΩ</code>. Prove that
<code>YΩ</code> is a fixed point for Ω.