diff options
Diffstat (limited to 'palindrome-sandwich.lisp')
| -rw-r--r-- | palindrome-sandwich.lisp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/palindrome-sandwich.lisp b/palindrome-sandwich.lisp index 98f5e64..b2d2a9d 100644 --- a/palindrome-sandwich.lisp +++ b/palindrome-sandwich.lisp @@ -7,6 +7,7 @@ ;;; (true-listp y)) ;;; (equal (palindromep (app y (app x (rev y)))) ;;; (palindromep x)))) +(in-package "ACL2") ;; 二つのリストを連結する (defun app (x y) |