On Tue, Sep 30, 2008 at 11:54 AM, Florent Becker < [EMAIL PROTECTED]> 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
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
