[darcs-users] Darcs utterly melts my brain: why PatchInfoAnd?

Jason Dagit dagit at codersbase.com
Tue Sep 30 19:27:40 UTC 2008


On Tue, Sep 30, 2008 at 11:54 AM, Florent Becker <
florent.becker at ens-lyon.org> wrote:

> Thanks for the very nice explanation! Does that mean that we have the
> invariant that in PIAP i (Hopefully Actually p), we have p = (Named i _
> _), the two i being the same?
>

I believe this to be true, but I'm not an expert :)  Maybe you should write
some QuickCheck properties based on this invariant....

Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.osuosl.org/pipermail/darcs-users/attachments/20080930/a179b342/attachment.htm 


More information about the darcs-users mailing list