diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-01-31 23:30:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-01-31 23:30:54 +0000 |
| commit | ad7cf3f5d7ae1735c80fb98616cd870b64c80fdd (patch) | |
| tree | 4c76cfe02f8973f8154eddfb30fee107d0d724b6 /src/algebra/syntax.spad.pamphlet | |
| parent | 308c8ede509d3d186d6d43402b5335867ebdb49e (diff) | |
| download | open-axiom-ad7cf3f5d7ae1735c80fb98616cd870b64c80fdd.tar.gz | |
* interp/g-opt.boot (optQSMINUS): Remove.
* algebra/data.spad.pamphlet: Tidy.
* algebra/plot.spad.pamphlet: Likewise.
* algebra/plot3d.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.
* algebra/syntax.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Remove use of NULL$Lisp.
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 |