<div dir="ltr">In case people are interested, after a number of hours and some trouble with conversion tools, I have made a clone of agda and the stdlib on github (currently up to date, I believe) at <a href="https://github.com/JasonGross/Agda">https://github.com/JasonGross/Agda</a> and <a href="https://github.com/JasonGross/agda-stdlib">https://github.com/JasonGross/agda-stdlib</a>. I used <a href="https://github.com/purcell/darcs-to-git">https://github.com/purcell/darcs-to-git</a>, which took a number of hours to run and had a few minor hiccups. (I couldn't get cabal to install darcs-fastconvert.) I don't plan on keeping these up to date (I did this for an unrelated reason), so if you're interested in using them to help make moving to github easier, the best time to do so is probably before there are any new commits on darcs.<div>
<br></div><div>-Jason</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jan 9, 2014 at 8:37 AM, Andrés Sicard-Ramírez <span dir="ltr"><<a href="mailto:andres.sicard.ramirez@gmail.com" target="_blank">andres.sicard.ramirez@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="im"><div class="gmail_extra"><br><div class="gmail_quote">On 9 January 2014 03:04, Ulf Norell <span dir="ltr"><<a href="mailto:ulf.norell@gmail.com" target="_blank">ulf.norell@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">We decided to switch over to git and host Agda on github.</blockquote></div><br></div></div><div class="gmail_extra">Great news!<span class="HOEnZb"><font color="#888888"><br>
</font></span></div><span class="HOEnZb"><font color="#888888"><div class="gmail_extra"><br clear="all"><br>-- <br>Andrés<br>
</div></font></span></div>
<br>_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
<br></blockquote></div><br></div>