I didn’t understand that notation. Can someone please explain?
I think:
x => a
λx. a
f <- a
f a
const f = (x) => x + 1;
I think:
is: and is just application. I.e.