2012/9/13 Stephen J. Turnbull <step...@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
_______________________________________________ darcs-users mailing list darcs-users@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-users
