diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 22:53:04 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 22:53:19 +0900 |
| commit | 5163a157c4f9b552db220efaa753f210518817fe (patch) | |
| tree | 9069b28ef45eadb636e221a6265fde31c8481769 /palindrome-sandwich.lisp | |
| parent | a51be68a1b9c1c2c4e720b49190fdd89a86885bb (diff) | |
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) |