[Haskell-cafe] Fwd: extending Do notation

[Kim-Ee Yeoh]

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

> So perhaps the way forward is to find the old proposal (or make a new
> one, if it's gone), and see if Idris's solution applies to haskell.
>

Is Idris's solution written up anywhere? Mind sharing the link?

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