News for hackers. Stuff that matters.
Re:The Scheme Machine (1994) [pdf] by chewxy on Tuesday August 07, 2018 @10:59PM (#17712891)
> Lambda calculus doesn't have a concept of its own expressions being data manipulated by lambda calculus. There is no quote operator in lambda calculus.

McCarthy himself noted this about Lambda Calculus and came up with EVAL. In fact several people have also noticed this. They simply shrugged and delta-ruled all the things.

There are no comments on this comment yet.