I think: x => a is: λx. a and | alt Hacker News

alt Hacker News

ngruhn • today at 7:13 AM • 1 reply • view on HN

I think:

   x => a

is:

   λx. a

and

   f <- a

is just application. I.e.

f a

Replies

lefra • today at 7:41 AM

What about big T, square/angle brackets, and braces?

➕ show 2 replies