[darcs-users] darcs patch: Make patch theory intro more inviting to... (and 1 more)

[David Roundy]

Applied.  Thanks!

David

On Wed, Aug 06, 2008 at 12:47:24PM +0000, E.Y.Kow at brighton.ac.uk wrote:
> Hi David,
> 
> It seems like we could tune the patch theory appendix to be a little
> friendlier to formally minded folk.
> 
> Several people, who would otherwise be very interested in patch theory,
> have said that they were turned off by the introduction to this chatper.
> I don't want to put words in your mouth, but do you think we could work
> on them a little bit?  Here is a first stab.
> 
> Cheers,
> 
> Eric
> 
> P.S. this was motivated by an IRC conversation, where-in somebody
> mentioned his friend who hates darcs because it "it made slightly over
> the top claims about the theory of patches" and was a little "fast and
> loose" with the math.  It also echos some conversations I've had with
> mathy friends in the past.
> 
> 
> Wed Aug  6 13:34:11 BST 2008  Eric Kow <E.Y.Kow at brighton.ac.uk>
>   * Make patch theory intro more inviting to math people.
> 
> Wed Aug  6 13:41:09 BST 2008  Eric Kow <E.Y.Kow at brighton.ac.uk>
>   * Downplay quantum mechanics link.
>   Besides, darcs has far more than 3 users by now.