projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
f18d270
)
tweak inf arithmetic comment
author
jim
<jim@web>
Fri, 20 Feb 2015 18:28:54 +0000
(13:28 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Fri, 20 Feb 2015 18:28:54 +0000
(13:28 -0500)
exercises/_assignment4.mdwn
patch
|
blob
|
history
diff --git
a/exercises/_assignment4.mdwn
b/exercises/_assignment4.mdwn
index
226741e
..
38e3180
100644
(file)
--- a/
exercises/_assignment4.mdwn
+++ b/
exercises/_assignment4.mdwn
@@
-117,8
+117,8
@@
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`
may not be a fixed point for `mult n
` or for
-`
exp n
`.
+you found for `succ`
and `(+n)` may not be a fixed point for `(*n)
` or for
+`
(^n)
`.
## Mutually-recursive functions ##
## Mutually-recursive functions ##