Hello, Just wanted to check if there are any plans to implement Idris side-effects in Agda. Thanks 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/20140324/a5cf7ac7/attachment.bin