Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (via moksh) — discussion
#plt
