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?