new | ask | show | jobs
ngruhn 10 hours ago  [ - ]

I think:

   x => a
is:

   λx. a
and

   f <- a
is just application. I.e.

   f a
lefra 9 hours ago  [ - ]

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

 5 hours ago  [ - ]
[deleted]
ngruhn 9 hours ago  [ - ]

yeah no idea