build-list
build-list : (nat (nat -> x) -> (listof x))
purpose:
(build-list n f) = (list (f 0) ... (f (- n 1)))
Intermediate Student Language