j
k
j a
j l
On Mon, Nov 5, 2012 at 3:28 PM, Iustin Pop wrote:
Did you mean here "it's still possible to define _lazy_ arguments"? The duality of !/~ makes sense, indeed.
Yes, it would be nice to still make arguments explicitly lazy, using "~".
Attachments:
Back to the thread
Back to the list