[darcs-users] darcs conflicts/dependencies -- is patch theory the place to start?

[Gracjan Polak]

2012/9/13 Stephen J. Turnbull <stephen at xemacs.org>

>
> The problem is identifying weakest preconditions.
>

This got me interested. Is there a paper/odc/wiki where it is described how
hard does darcs right now try to identifying weakest preconditions?

Thanks!

-- 
Gracjan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20120913/46d0cfda/attachment-0001.html>