-
@lasngngna lambda calculus is a very simple programming language with just two things you can do, you can create a string-replace-function: (λx.abdxefg) -> a function that, when called with SOMETHING, returns abdxefg with 'x' replaced by SOMETHING
-
@lasngngna and the other thing is calling such functions, which looks like (M N) where M is a function as mentioned and N is the SOMETHING
-
@lasngngna ...and from this somehow you can build interesting stuff, but that's where I lose the thread as well :D