[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