func reverse(ls : List+String) -> List+String return ls when #ls <= 1 return reduce(`+', [all ls(#ls-i) for i in [0..#ls-1]])
reverse([1 2 3]) = [3 2 1] reverse(`two') = `owt' reverse([]) = [] reverse(`') = `'