[Agda] How to disable type-checking progress in emacs buffer?

Guilhem Moulin guilhem.moulin at chalmers.se
Thu Mar 8 02:26:54 CET 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/20120308/454dd95d/attachment.bin


More information about the Agda mailing list