10:36
@Sherlock9 I know everything now :)
@Zgarb Is it possible to have a lambda calculus "function" where its behaviour changes depending on the amount of arguments after it?
Cause I'm thinking of making a sum function that sums all the numbers after it.
@Mego Uh I think you might have to put brackets around the \x.\y.x*y and \x.A B, you can get rid of the \x in the A B thing as well as the S: so that would be \x.\y.x*y A B which would eval to A*B
Combinatory logic
Combinatory logic