@lucidiot@tiny.tilde.website @BatElite that isn't correct

(λf . (λx . (f x))

is an expression that basically means "if I'm given a function, called f, and a value, called x, then I will apply that function to the value"

so if I wrote (λf . (λx . (f x)) (addFive) (3), the expression means "run addFive on 3", so we'll get a result of 8

(of course this is a completely useless transformation, I could just directly write "addFive 3")