RosettaCodeData/Task/Generic-swap/ACL2/generic-swap.acl2

7 lines
131 B
Text
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
(defun swap (pair)
(cons (cdr pair)
(car pair)))
(let ((p (cons 1 2)))
(cw "Before: ~x0~%After: ~x1~%" p (swap p)))