Comment on List out of LambdaparentComments−arethuza13yAll you need is S and K - all the rest is syntactic sugar, even Y.:-)−arianvanp13ySKI combinator is indeed another explanation of why the λ-calculus is turing complete : http://en.wikipedia.org/wiki/SKI_combinator_calculus
Comments
All you need is S and K - all the rest is syntactic sugar, even Y.
:-)
SKI combinator is indeed another explanation of why the λ-calculus is turing complete : http://en.wikipedia.org/wiki/SKI_combinator_calculus