Lambda calculus with Church encoding in Chttps://github.com/peberlein/c_lambda_calculus by protopete • 15 years ago 11 1 15 years agoGIgithub.com