From ea4c96609b8d02f5e83a8027cf567bab5562cb5b Mon Sep 17 00:00:00 2001 From: jim Date: Fri, 20 Feb 2015 13:31:53 -0500 Subject: [PATCH 1/1] remind about section shorthand --- exercises/_assignment4.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/exercises/_assignment4.mdwn b/exercises/_assignment4.mdwn index f5e22c75..f998e7ac 100644 --- 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 -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)`. -- 2.11.0