[Agda] Installing from darcs

[Ulf Norell]

On Tue, Nov 4, 2008 at 1:51 PM, <J.Burton at brighton.ac.uk> wrote:

>
> From Chalmers! Using the new repository works fine. I mistakenly
> followed the link on the AFP Summer School 08 page.
>

Thanks for spotting that :-) I updated the wiki to point to the new
repository.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081104/f9af7d2e/attachment.html