diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-08-16 14:17:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-08-16 14:17:40 +0000 |
| commit | ab480e7c03c9f3ab95856eaff6e6493882ff0c36 (patch) | |
| tree | bba846f3e063f72834df5121dfff6d68ad7f4f91 /src/algebra/list.spad.pamphlet | |
| parent | d2afe2366c2c592327cd0eb6593a3536a6eff54d (diff) | |
| download | open-axiom-ab480e7c03c9f3ab95856eaff6e6493882ff0c36.tar.gz | |
* interp/i-map.boot (addMap): Fix typo from last commit.
* interp/compiler.boot (compElt): Fix thinko, one more time.
* interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms
for constants.
* algebra/algext.spad.pamphlet: Call niladic functions with empty
argument lists.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/gpgcd.spad.pamphlet: Likewise.
* algebra/modmon.spad.pamphlet: Likewise.
* algebra/pf.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/twofact.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: "nil" is now a ocnstant.
* algebra/string.spad.pamphlet: "space", "quote", "escape" are now
constants.
Diffstat (limited to 'src/algebra/list.spad.pamphlet')
| -rw-r--r-- | src/algebra/list.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet index eb4ab4d3..cc945bf8 100644 --- a/src/algebra/list.spad.pamphlet +++ b/src/algebra/list.spad.pamphlet @@ -234,8 +234,8 @@ List(S:Type): Exports == Implementation where LISTMININDEX ==> 1 -- this is the minimum list index Exports ==> ListAggregate S with - nil : () -> % - ++ nil() returns the empty list. + nil : % + ++ \spad{nil} is the empty list. null : % -> Boolean ++ null(u) tests if list \spad{u} is the ++ empty list. @@ -264,7 +264,7 @@ List(S:Type): Exports == Implementation where Implementation ==> IndexedList(S, LISTMININDEX) add - nil() == NIL$Lisp + nil == NIL$Lisp null l == NULL(l)$Lisp cons(s, l) == CONS(s, l)$Lisp append(l:%, t:%) == APPEND(l, t)$Lisp |