concat

func concat(ls : list of String) -> String
  return reduce(`+', [`']+ls)

Concatenates a list of strings, resulting in a string. For example:

  concat([`abc' `def']) = `abc' + `def' = `abcdef'
  concat([`abc']) = `abc'
  concat([]) = `'