add diff operatorv.0.0.0

 - and remove and diff and differ
 - and update documentation
 - and update all lali scripts

1 files changed, 10 insertions, 17 deletions

diff --git a/README.md b/README.md
index c2ed2c1..2bd4b8b 100644
--- a/README.md
+++ b/README.md
@@ -130,23 +130,16 @@ which is `y`:
 
 ### Predicates
 
-`(dif x y)` returns `t` if `x` and `y` refers to different objects, or if they are
-numbers with different values, or if they are string objects with different
-contents:
-
-    (dif +1 +1)               ; f
-    (dif +1 +2)               ; t
-    (dif 'a 'a)               ; f
-    (dif 'a 'b)               ; t
-    (dif t t)                 ; f
-    (dif t f)                 ; t
-    (dif '(a b) '(a b))       ; t
-
-`(differ x y)` returns `t` if `x` and `y` are objects of different structure and
-each of their elements satisfy the `dif` predicate, otherwise `f`:
-
-    (differ '(a b) '(a))      ; t
-    (differ '(a b) '(a b))    ; f
+`(diff x y)` returns `t` if `x` and `y` are different, otherwise `f`:
+
+    (diff +1 +1)              ; f
+    (diff +1 +2)              ; t
+    (diff 'a 'a)              ; f
+    (diff 'a 'b)              ; t
+    (diff t t)                ; f
+    (diff t f)                ; t
+    (diff '(a b) '(a))        ; t
+    (diff '(a b) '(a b))      ; f
 
 `(space x)` returns `t` if `x` is an empty list `()`, otherwise `f`: