From 8cfffbeccdab028f780dcaf9f4ffaf97d7393a1e Mon Sep 17 00:00:00 2001 From: Daniel Cerqueira Date: Sun, 16 Aug 2026 12:59:14 +0100 Subject: add diff operator - and remove and diff and differ - and update documentation - and update all lali scripts --- README.md | 27 ++++++++++----------------- 1 file changed, 10 insertions(+), 17 deletions(-) (limited to 'README.md') 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`: -- cgit