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

let x = 3 + 2 
in x + 1