(def foldl (f v xs) (if xs (foldl f (f (car xs) v) (cdr xs)) v)) (def rev (xs) (foldl (xy (cons x y)) nil xs))
(def rev (xs) (foldl cons nil xs))
(def rev (xs) (foldl flip.cons nil xs))
-----