For demonstration purposes I was wondering about some very easy to grasp LC abstractions and I came to the idea of a function that simply eats its argument, and nothing more. If you apply λx. (Yes no lambda term after the point) to an argument the abstraction reduces to nothing. Although this isn’t very useful … Continue reading "Is λx. a valid Lamda Calculus abstraction?"
The post Is λx. a valid Lamda Calculus abstraction? appeared first on 100% Private Proxies - Fast, Anonymous, Quality, Unlimited USA Private Proxy!.