(print "------------------------------------------------")
(print "Testing map, andmap")
(print)

(def odd?
  (fun (n) :
    (if (n == 0)
        then False
        else (even? (n - 1)))))

(def even?
  (fun (n) :
    (if (n == 0)
        then True
        else (odd? (n - 1)))))

(with [nums = (list 0 1 2 3)] :
  (print " nums:" nums)
  (print "  + 1:" (map (fun (n) : (n + 1)) nums))
  (print "  ^ 2:" (map square nums))
  (print " odd?:" (map odd? nums))
  (print "even?:" (map even? nums))
  (print "all < 5?:" (andmap (fun (n) : (n < 5)) nums))
  (print "all < 3?:" (andmap (fun (n) : (n < 3)) nums))
  (print "all < 0?:" (andmap (fun (n) : (n < 0)) nums)))