X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda_library.mdwn;h=6441d3b9d65e626fcd0fe8ca883bd68a6ec4644c;hp=5623b9fa219b4cf9ef0fca41b8fe098768b803df;hb=1859a8c4b42139e3a557ec44dd8edd1e1acb71f9;hpb=4cea4f69242f3a229292186c8fa652942f31f8b8

diff --git a/lambda_library.mdwn b/lambda_library.mdwn
index 5623b9fa..6441d3b9 100644
--- 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
-                    (not (isempty right))
+                    true ; for all we know so far, they might still be equal
                     (reverse right)
                 )
                 ; when fold is finished, check sofar-pair