[Agda] code.haskell.org

[Andrés Sicard-Ramírez]

On Thu, Feb 3, 2011 at 11:52 AM, Permjacov Evgeniy <permeakra at gmail.com>wrote:

> code.haskell.org/Agda is empty or wiped out. Where can I download
> current sources?
>

http://www.cse.chalmers.se/~nad/repos/Agda/

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110203/56efea2c/attachment.html