1 ; RUN: run.py %s | filecheck %s
3 (let ([nil (lam (c n) (n))]
4 [cons (lam (x y) (lam (c n) (c x y)))]
7 (let ([t (lam (x) (f (lam (v) (x x v))))])
9 [if (lam (c t f) ((c t f)))])
10 ([fix (lam (recur a b l n)
12 [lam () (let [(_ (debug 0))] l)]
13 [lam () (recur b (+ (debug a) b) (cons a l) (- n 1))]))]