← Back to context

Comment by ngruhn

7 hours ago

I think:

   x => a

is:

   λx. a

and

   f <- a

is just application. I.e.

f a

3 comments

ngruhn

Reply

lefra 7 hours ago

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

ngruhn 6 hours ago

yeah no idea