translate String.charAt into [] #51
Description
I've seen String.length been translated to len(string)
how about String.charAt into string[]
and String.substring(b, e) into string[b:e] ?
{{ message }}
I've seen String.length been translated to len(string)
how about String.charAt into string[]
and String.substring(b, e) into string[b:e] ?