[Agda] Re: Problems trying to build Agda

Geoffrey Alan Washburn geoffrey.washburn at epfl.ch
Sat May 17 13:30:29 CEST 2008

Previous message: [Agda] Problems trying to build Agda
Next message: [Agda] weird error with 'with'
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Ulf Norell wrote:

> You're better off grabbing the latest version from darcs. 2.1.2 is 
> getting a bit old.

That seems to have solved all my problems.  Thanks!

Previous message: [Agda] Problems trying to build Agda
Next message: [Agda] weird error with 'with'
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list