Let's say I want to define a function:
This function multiplies an input by two, adds one to this integer, then divides it by two in that order.
f represents the multiplication, g represents the addition, and h represents the division.
Could I represent this as
λx.fxgh, when explicitly defined with parentheses is shown as
I would think that is correct, because you evaluate the innermost function first, then move outwards treating each evaluated function on the inside as input for the next one, no?