Brandon S Allbery wrote: > On 2008 Aug 10, at 20:17, Norman Ramsey wrote:
> > For the last year I have been hoping to make 'a new darcs-like thing, > > with a real theory founding it' an important part (one of three) of a > > grant proposal in distributed computing. So you can see I am in favor > > of spending money to create a better darcs (which is not quite the > > same thing as making darcs better; I want to start with a new theory). > Can you elucidate what's wrong with the current one? Noone knows how to formalise it, and (AFAIK) only David understands the new conflicts handling, and hasn't managed to completely communicate that understanding to anyone else. Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ============================================================================== _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users