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

letdown gen = \n. if n <= 0 then lift 0 
                            else Plus (Bound "x") (this (n + -1))
in letdown product = \n. Lam (Bind "x") (gen n )
   in $(product 3) 5