[Haskell-cafe] Fwd: extending Do notation

[Kim-Ee Yeoh]

On Wed, May 21, 2014 at 2:20 AM, Evan Laforge <qdunkan at gmail.com> wrote:

> On Tue, May 20, 2014 at 12:09 PM, Kim-Ee Yeoh <ky3 at atamo.com> wrote:
>
> It's briefly documented in the tutorial, see do notation:
>
> http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf
>
> Looks like the key bit is "will lift expr as high as possible within
> the current scope".


Thanks!

The section on bang-notation or !-notation is very interesting!

And how did haskell-cafe ever miss doing an in-depth on this ...?

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140521/2d61ee76/attachment.html>