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