funcons-lambda-cbv-mp-0.1.0.2: programs/mp6.cbv

letdown code = \y. if y <= 0 then [| 0 |]
                             else [| x + $(this (y + -1)) |]
in let x = 7 
   in $(code 6)