<br><div class="gmail_quote">On Thu, Feb 3, 2011 at 11:52 AM, Permjacov Evgeniy <span dir="ltr"><<a href="mailto:permeakra@gmail.com">permeakra@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<a href="http://code.haskell.org/Agda" target="_blank">code.haskell.org/Agda</a> is empty or wiped out. Where can I download<br>
current sources?<br>
</blockquote><div><br><a href="http://www.cse.chalmers.se/~nad/repos/Agda/">http://www.cse.chalmers.se/~nad/repos/Agda/</a><br clear="all"></div></div><br>-- <br>Andrés<br>