|
|
|
|
|
by ezwoodland
111 days ago
|
|
No? Why would it? In the negative case, it would say the idea doesn't pan out. In the positive case, it would mean that you can use just S instead of S and K when doing combinator reduction, but doesn't change that this kind of reduction is not super efficient practically speaking. |
|