Lambda-calculus test

let cons h t = \p -> p h t;

let rec self = self self;

let drop_unless_eq value =
    (rec
        \self h t ->
            (eq h value)
                t
                (t (rec self))
    );

let naturals =
    (rec \self n ->
        cons n (rec self !(add 1 n))
    ) 0;

naturals (drop_unless_eq 10000)