X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=hints%2Fassignment_4_hint_2.mdwn;h=f9f4cf253a0b938b2d8a877bad7d90dd7051086e;hb=ee78c002ea1d6c0ed2489ae5719c8f63e3ae1b3a;hp=8acdb136a64f980a9f860697897f854e5dbba9bf;hpb=9e49e4a8db892623d6f3dd202aad27a8547ad826;p=lambda.git

diff --git a/hints/assignment_4_hint_2.mdwn b/hints/assignment_4_hint_2.mdwn
index 8acdb136..f9f4cf25 100644
--- a/hints/assignment_4_hint_2.mdwn
+++ b/hints/assignment_4_hint_2.mdwn
@@ -39,22 +39,22 @@ let list_equal =
 -->
 
 <!--
-eql [] l2        = empty l2
-eql (l1h:l1t) l2 = and (not (empty l2))
-                       (l1h == head l2)
-                       (eql l1t (tail l2))
+list_equal [] right      = isempty right
+list_equal (hd:tl) right = and (not (isempty right))
+                            (hd == head right)
+                            (list_equal tl (tail right))
 
 Rearangement:
 
-eql []        = \l2 -> empty l2
-eql (l1h:l1t) = let prev = eql l1t
-                in \l2 -> and (not (empty l2))
-                              (l1h == head l2)
-                              (prev (tail l2))
+list_equal []      = \right -> isempty right
+list_equal (hd:tl) = let prev = list_equal tl
+                     in \right -> and (not (isempty right))
+                                   (hd == head right)
+                                   (prev (tail right))
 
-Now it fits the pattern of foldr
+Now it fits the pattern of fold_right
 
-let list_equal = \lst. lst (\hd sofar. \lst. and (and (not (isempty lst)) (eq hd (head lst))) (sofar (tail lst))) isempty
+let list_equal = \left. left (\hd sofar. \right. and (and (not (isempty right)) (eq hd (head right))) (sofar (tail right))) isempty
 
 -->