diff options
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index e676f343..c62ff29a 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -114,6 +114,8 @@ Syntax(): Public == Private where ++ x case String is true if `x' really is a String Private == add + import %nil: % from Foreign Builtin + import %peq: (%,%) -> Boolean from Foreign Builtin import %integer?: % -> Boolean from Foreign Builtin import %float?: % -> Boolean from Foreign Builtin import %string?: % -> Boolean from Foreign Builtin @@ -209,7 +211,7 @@ Syntax(): Public == Private where %makepair(op,l)$Foreign(Builtin) nil? x == - NULL(x)$Lisp + %peq(x,%nil) atom?(x: %): Boolean == ATOM(x)$Lisp |