string-ref

string-ref : (string nat -> char)

purpose:
to extract the i-the character from a string


Intermediate Student Language