[darcs-users] Theory of Patches

[Ian Lynagh]

On Thu, Apr 09, 2009 at 03:42:39PM -0700, Jason Dagit wrote:
> 
> darcs get http://code.haskell.org/camp/devel/paper/

This is currently tricky to build: You need the trunk version of coqdoc.
But there's a recent snapshot here:
    http://projects.haskell.org/camp/files/theory.pdf
The coq bits are typeset with a green background. You can just ignore
them if you're not interested in the coq.

Also, remember that it's a work in progress.


Thanks
Ian