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?