build-list

build-list : (nat (nat -> x) -> (listof x))

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


Intermediate Student Language