[Agda] Agda moves to haskell.org

[Ulf Norell]

The Agda repository has moved to code.haskell.org. To check out the latest
version do

  darcs get --partial http://code.haskell.org/Agda

and to update an existing installation

  darcs pull http://code.haskell.org/Agda

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