|
From: | Drew Adams |
Subject: | RE: Predicate for true lists |
Date: | Mon, 4 Jun 2018 20:25:02 -0700 (PDT) |
> That just says: (null (cdr (last xs))), which is > (and xs (nthcdr (1- (safe-length xs)) xs))). Sheesh; sorry. That should have been just what Philip wrote in the beginning: (null (nthcdr (safe-length xs) xs)).
[Prev in Thread] | Current Thread | [Next in Thread] |