j
k
j a
j l
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?
Back to the thread
Back to the list