Hello, 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 http://code.galois.com/cgi-bin/gitweb (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. -Iavor
On Thu, Jan 13, 2011 at 9:40 AM, David Brown <haske...@davidb.org> wrote: > On Thu, Jan 13 2011, Benedict Eastaugh wrote: > > > On 13 January 2011 15:30, Johan Tibell <johan.tib...@gmail.com> wrote: > >> We should set up a git daemon at some point as it's much more > >> efficient that pulling over HTTP. > > > > As of version 1.6.6, Git is much more efficient over HTTP than it used to > be. > > > > http://progit.org/2010/03/04/smart-http.html > > You do have to install the git smart-http plugin in the server, or it > only uses the "dumb" HTTP protocol. > > David > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users