21 Feb
2017
21 Feb
'17
10:52 a.m.
On 21/02/2017 15:08, Benjamin Edwards wrote:
The thing that you might also be missing is that function application binds tightest. Hopefully the parenthesis that Rahul has added help you out there. If not:
\w -> f (h w) w
f will be applied to the result of (h r) which yields another function, which is then applied to r
Did you mean to write (h w)? - Olumide