[Agda] Bug in ScopeMonad?

Paul van der Walt paul at denknerd.org
Wed Jun 27 11:40:32 CEST 2012


Skipped content of type multipart/mixed-------------- 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/20120627/a7819813/attachment.bin


More information about the Agda mailing list