Sort 12 Discussions, By:
Please Login in order to post a comment
If you are new to lambda calculus following video & links will help
Church Notation -Wikipedia
I started coding a lexical parser for this. Then read a comment that we just have to write plain text answer for the given expression. Facepalm.
e.g (λx.(+1)x)3 = (λx.+1 x)3 = (+ 1 3) = 4
= (λx.(x y))(λz.z)
Hi, I still don't understand why application can be written in the statement of the function?
Shouldn't it be written as (λx.x)y?
The problem with how to rename a variable is difficult. Love spells UK