summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md27
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`: