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

let plus1 = \x. 1+x
in plus1 3 + plus1 2