14 Jul
2016
14 Jul
'16
1:10 p.m.
On Tue, Jul 12, 2016, at 09:42, Random832 wrote:
On Tue, Jul 12, 2016, at 08:38, Stephan Houben wrote:
I know people have been clamoring for shorter lambda-syntax in the past, I think this is a nice minimal extension.
How about a haskell-style backslash?
Nobody has any thoughts at all?