Re: [julia-users] ++ as string concatenation operator

[Ben Arthur]

relatedly, is there a thread somewhere that explains why * is used for 
string concatenation and ^ for string repetition?