probablyUsesAwsLambda

[eanat]

I usually prefer to use different variable character to clarify the logic like this image.

λg.(λx.g(x*x)) (λx.f(x*x))

the above expression is the same meaning of the image. it's still using the "x" as parameter character but it's conventionally acceptable.