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

Nils Anders Danielsson nad at chalmers.se
Thu Mar 8 10:55:43 CET 2012

Previous message: [Agda] How to disable type-checking progress in emacs buffer?
Next message: [Agda] World's biggest fake conference in computer science
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2012-03-07 21:08, Peter Hancock wrote:
> I may be using bleeding-edge darcs agda.

Yes. You can avoid these problems by installing the latest released
version, 2.3.0.

-- 
/NAD

Previous message: [Agda] How to disable type-checking progress in emacs buffer?
Next message: [Agda] World's biggest fake conference in computer science
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list