Hello,<div>thanks for this Simon! I've ported my work on the type-naturals feature as a git branch, and everything seems to be working as expected so far. I've put my modified repos at <a href="http://code.galois.com/cgi-bin/gitweb">http://code.galois.com/cgi-bin/gitweb</a> (their names all start with the "type-naturals" prefix). I am sending the link to the repos because this server is running the gitweb interface, in case people wanted to play around with it.</div>
<div>-Iavor</div><meta http-equiv="content-type" content="text/html; charset=utf-8"><div><br><br><div class="gmail_quote">On Thu, Jan 13, 2011 at 9:40 AM, David Brown <span dir="ltr"><<a href="mailto:haskell3@davidb.org">haskell3@davidb.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">On Thu, Jan 13 2011, Benedict Eastaugh wrote:<br>
<br>
> On 13 January 2011 15:30, Johan Tibell <<a href="mailto:johan.tibell@gmail.com">johan.tibell@gmail.com</a>> wrote:<br>
>> We should set up a git daemon at some point as it's much more<br>
>> efficient that pulling over HTTP.<br>
><br>
> As of version 1.6.6, Git is much more efficient over HTTP than it used to be.<br>
><br>
> <a href="http://progit.org/2010/03/04/smart-http.html" target="_blank">http://progit.org/2010/03/04/smart-http.html</a><br>
<br>
</div>You do have to install the git smart-http plugin in the server, or it<br>
only uses the "dumb" HTTP protocol.<br>
<font color="#888888"><br>
David<br>
</font><div><div></div><div class="h5"><br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</div></div></blockquote></div><br></div>