aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--blackjack.lisp9
1 files changed, 1 insertions, 8 deletions
diff --git a/blackjack.lisp b/blackjack.lisp
index 2792046..47a5c20 100644
--- a/blackjack.lisp
+++ b/blackjack.lisp
@@ -38,15 +38,8 @@
(cons (car x) (filter-natp (cdr x))))
(t (filter-natp (cdr x)))))
-(defun nat-list-p (x)
- (declare (xargs :guard t))
- (cond ((consp x)
- (and (natp (car x))
- (nat-list-p (cdr x))))
- (t (null x))))
-
(defun sum (x)
- (declare (xargs :guard (nat-list-p x)))
+ (declare (xargs :guard (nat-listp x)))
(cond ((endp x) 0)
(t (+ (car x) (sum (cdr x))))))