string-ref

string-ref : (string nat -> char)

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


Beginning Student with List Abbreviations Language


Google