RosettaCodeData/Task/Flatten-a-list/ACL2/flatten-a-list.acl2
2023-07-01 13:44:08 -04:00

5 lines
161 B
Text

(defun flatten (tr)
(cond ((null tr) nil)
((atom tr) (list tr))
(t (append (flatten (first tr))
(flatten (rest tr))))))