On Wed, May 21, 2008 at 07:05:02PM +0300, Pekka Pessi wrote:
>
> r2: B ~B A
I haven't really considered rollback named-patches yet. If it is
possible to do it without an inverse constructor, then I think you will
get this result (which commutes to A [A^, {:A}, B] [A, {:A^}, B^]), but
I am unsure of details like this at the moment.
(X^ is the inverse of X).
Thanks
Ian
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
