From ed7dfeecb709723aa90259d67c3db49623f065a5 Mon Sep 17 00:00:00 2001 From: Daniel Cerqueira Date: Mon, 17 Aug 2026 10:56:31 +0100 Subject: add plural defun predicate --- README.md | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 7f3492f..decd7b5 100644 --- a/README.md +++ b/README.md @@ -187,11 +187,19 @@ otherwise `f`: (singul t) ; t (singul '(a b)) ; f -`(zerop x)` returns `t` if `x` is the number zero, otherwise `f`: +`(zerop x)` returns `t` if `x` is the number positive zero, otherwise `f`: (zerop +0) ; t (zerop +1) ; f - (zerop t) ; error: t is not a number + (zerop -0) ; f + (zerop 'a) ; f + +`(plural x)` returns `t` if `x` is not the number positive zero, otherwise `f`: + + (plural +0) ; f + (plural +1) ; t + (plural -0) ; t + (plural 'a) ; t ### Logical operations -- cgit