funcons-lambda-cbv-mp-0.1.0.2: programs/let-product-dynamic.cbv

let gen = \n. if n <= 0 then [|0|] else [| x + $(this (n + -1)) |]
in let product = \n. [| \x. $( gen n ) |]
   in (eval (product 3)) 5