to-strings.js

function toStrings(xs) {
  let idx = 0
  let result = []
  while (idx < xs.length) {
    result[idx] = xs[idx].toString()
    idx = idx + 1
  }
  return result
}