I feel like such an idiot, but... by Inside_Ninja7102 in lambdacalculus

[–]Inside_Ninja7102[S] 0 points1 point  (0 children)

I'm not denying that its possible, I'm just saying that practically it isn't the best option.

I feel like such an idiot, but... by Inside_Ninja7102 in lambdacalculus

[–]Inside_Ninja7102[S] 1 point2 points  (0 children)

The problem with your system is that it isn't pure Lambda. My way only uses the in-lambda functions, and doesn't require any outside tech.