diff options
| -rw-r--r-- | src/boot/ast.boot.pamphlet | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/boot/ast.boot.pamphlet b/src/boot/ast.boot.pamphlet index 2d0b7e64..02c99679 100644 --- a/src/boot/ast.boot.pamphlet +++ b/src/boot/ast.boot.pamphlet @@ -444,6 +444,11 @@ bfSUBLIS(p,e)== EQCAR(e,"QUOTE")=>e cons(bfSUBLIS(p,car e),bfSUBLIS(p,cdr e)) ++++ Returns e/p, where e is an atom. We assume that the ++++ DEFs form a system admitting a fix point; otherwise we may ++++ loop forever. That can happen only if nullary goats ++++ are recursive -- which they are not supposed to be. ++++ We don't enforce that restriction though. bfSUBLIS1(p,e)== null p =>e f:=CAR p |