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

let mult = \y. \x. if x <= 0 then 0
                             else y + this (x + -1)
in let plus1 = \x. 1+x
   in mult (plus1 3 + plus1 2) 6