build-string

build-string : (nat (nat -> char) -> string)

purpose:
(build-string n f) = (string (f 0) ... (f (- n 1)))


Intermediate Student Language


Google