[Agda] Side Effects in Agda

[Joe M]

Ulf Norell wrote:
> I did a straight-up port of the Effect monad to Agda a while ago
> (attached). Of course without the nice proof search tactics that Idris has
> it gets a bit clunky to use.
Thanks, I will try it.

Joe
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
Url : http://lists.chalmers.se/pipermail/agda/attachments/20140325/935e11b2/attachment.bin