(in-package "ACL2-USER")
(defmacro seq (stobj &rest rst)
(cond ((endp rst) stobj)
((endp (cdr rst)) (car rst))
(t `(let ((,stobj ,(car rst)))
(seq ,stobj ,@(cdr rst))))))
Response: text/plain
| Original URL | gopher://sdf.org/0/users/screwtape/car-game/acl2/macros.lisp |
|---|---|
| Content-Type | text/plain; charset=utf-8 |