rename exercises/assignment8.mdwn to exercises/assignment8-9.mdwn

[lambda.git] / exercises / assignment3_hint2.mdwn

diff --git a/exercises/assignment3_hint2.mdwn b/exercises/assignment3_hint2.mdwn
index ca0bc51..9821f05 100644 (file)
--- a/exercises/assignment3_hint2.mdwn
+++ b/exercises/assignment3_hint2.mdwn
@@ -19,7 +19,7 @@ That's what `m a` should be, so `m` should be `\a. \n b. n a`. And if we check:
 `(\n b. n a) (\a. \n b. n a) b ~~>`  
 `(\b. (\a. \n b. n a) a) b ~~>`  
 `(\b. (\n b. n a)) b ~~>`  
-`(\n b. n a)` ≡  
+`(\n b. n a) <~~>`  
 `m a`
 
 Looks good. So `f` needs to be a function that accepts an argument `w` (after the first stage, this will be `m a`), and an argument `b`, and applies `w` to `m` and to `b`. In other words, `f` should be: