[Agda] Side Effects in Agda

Joe M joe9mail at gmail.com
Mon Mar 24 17:16:22 CET 2014


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


More information about the Agda mailing list