implementation of lambda calculus using python and ruby