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

let gen = \y. \x. if x <= 0 then 0
                            else y + this (output (x + -1))
in let double = gen 2
   in double 3 + double 4 // prints 2, 1, 0, 3, 2, 1, 0