May I propose that we postpone discussing the merits of & versus * versus ^ for the moment to discuss the larger issue? I think the spelling here is largely besides the point, although if we make any change it will be a salient topic at that time.
May I propose that we postpone discussing the merits of & versus * versus ^ for the moment to discuss the larger issue? I think the spelling here is largely besides the point, although if we make any change it will be a salient topic at that time.