diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -155,13 +155,13 @@ each of their elements satisfy the `dif` predicate, otherwise `f`: (space t) ; f (space '(a b)) ; f -`(ap x)` returns `t` if `x` is "an existing thing" (not an empty list `()`), +`(algo x)` returns `t` if `x` is "an existing thing" (not an empty list `()`), otherwise `f`: - (ap ()) ; f - (ap +1) ; t - (ap t) ; t - (ap '(a b)) ; t + (algo ()) ; f + (algo +1) ; t + (algo t) ; t + (algo '(a b)) ; t `(atom x)` returns `t` if `x` is an atom (and not an empty list `()`), otherwise `f`: |
