make-string

make-string : (nat char -> string)

purpose:
to produce a string of given length
from a single given character


Beginning Student with List Abbreviations Language


Google