Lambda calculus implemented directly from Alonzo Church's 1936 papergithub.com/alfreb3 pointsingve3 years ago