Re: [Haskell-cafe] Fwd: extending Do notation

On Wed, May 21, 2014 at 2:20 AM, Evan Laforge wrote:

On Tue, May 20, 2014 at 12:09 PM, Kim-Ee Yeoh 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