> How can X and Y combine to create something that conflicts with the > transformation represented by Z? I'm sort of rushing here as I don't have > a > lot of time to dedicate to this right now. Perhaps can you construct a > proof either way? > If I remember correctly, in the camp paper, that would correspond to the "commute consistent" axiom. As far as i know, it cannot be deduced from permutivity, ie it is really an axiom, but you don't need to introduce merging, it is purely a property of commute.
Florent _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
