[Agda] Do-notation with mix fix binders?

[Liam O'Connor]

Hi all, 

Does anyone know of a way to get something like Haskell's do-notation (without destructuring assignment) with mix fix syntax binders? It would be rather nice if we had such a facility. 

Cheers
Liam O'Connor

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111027/87b70eee/attachment-0001.html