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

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