assign 4: hints for list_equal

[lambda.git] / lambda_library.mdwn

diff --git a/lambda_library.mdwn b/lambda_library.mdwn
index 5623b9f..6441d3b 100644 (file)
--- a/lambda_library.mdwn
+++ b/lambda_library.mdwn
@@ -314,7 +314,7 @@ let list_equal =
                 ; (might_for_all_i_know_still_be_equal?, tail_of_reversed_right)
                 ; when left is empty, the lists are equal if right is empty
                 (make_pair
                 ; (might_for_all_i_know_still_be_equal?, tail_of_reversed_right)
                 ; when left is empty, the lists are equal if right is empty
                 (make_pair

-                    (not (isempty right))
+                    true ; for all we know so far, they might still be equal

                     (reverse right)
                 )
                 ; when fold is finished, check sofar-pair
                     (reverse right)
                 )
                 ; when fold is finished, check sofar-pair