<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 21, 2014 at 2:20 AM, Evan Laforge <span dir="ltr"><<a href="mailto:qdunkan@gmail.com" target="_blank">qdunkan@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb adM"><div class="h5">On Tue, May 20, 2014 at 12:09 PM, Kim-Ee Yeoh <<a href="mailto:ky3@atamo.com">ky3@atamo.com</a>> wrote:<br>

<br>
</div></div>It's briefly documented in the tutorial, see do notation:<br>
<br>
<a href="http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf" target="_blank">http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf</a><br>
<br>
Looks like the key bit is "will lift expr as high as possible within<br>
the current scope".</blockquote></div><br></div><div class="gmail_extra">Thanks!<br><br></div><div class="gmail_extra">The section on bang-notation or !-notation is very interesting!<br><br>And how did haskell-cafe ever miss doing an in-depth on this ...?<br>

</div><div class="gmail_extra"><br clear="all"><div>-- Kim-Ee</div>
</div></div>