I looked at the standard library documentation and did not see anything about indexing strings ?
I wanted to make my own but I need to get the tail of the string (equivalent of rest in [_, ..rest] for a list) but I'm not sure how to do so (except string.slice(s, 1, string.length(s)-1))
Is there a way to index a string (for example to get the 7th character of a string) ?
If not, is there a way to get the tail of the string ?