Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on A circuit-like notation for lambda calculus (2015). Parent comment
x and y are variables.
\ is a notation people use because you cannot type lambdas in ASCII.
For the basic rules regarding application, you need to understand substitution rules.
There are no comments on this comment yet.
x and y are variables.
\ is a notation people use because you cannot type lambdas in ASCII.
For the basic rules regarding application, you need to understand substitution rules.