zlacker

Writing programs in lambda calculus is definitely more enjoyable than in eg SKI calculus.

I think if you express your lambda calculus bindings in terms of De Bruijn indices, it might seem less arbitrary, too.