projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
26c6874
)
remind about section shorthand
author
jim
<jim@web>
Fri, 20 Feb 2015 18:31:53 +0000
(13:31 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Fri, 20 Feb 2015 18:31:53 +0000
(13:31 -0500)
exercises/_assignment4.mdwn
patch
|
blob
|
history
diff --git
a/exercises/_assignment4.mdwn
b/exercises/_assignment4.mdwn
index
f5e22c7
..
f998e7a
100644
(file)
--- a/
exercises/_assignment4.mdwn
+++ b/
exercises/_assignment4.mdwn
@@
-117,7
+117,7
@@
is unchanged after adding 1 to it. It makes a certain amount of sense
to use this object to model arithmetic infinity. For instance,
depending on implementation details, it might happen that `leq n ξ` is
true for all (finite) natural numbers `n`. However, the fixed point
to use this object to model arithmetic infinity. For instance,
depending on implementation details, it might happen that `leq n ξ` is
true for all (finite) natural numbers `n`. However, the fixed point
-you found for `succ` and `(+n)` may not be a fixed point for `(*n)` or for
+you found for `succ` and `(+n)`
(recall this is shorthand for `\x. add x n`)
may not be a fixed point for `(*n)` or for
`(^n)`.
`(^n)`.