[bitc-dev] Primary type arithmetic
Jonathan S. Shapiro
shap at eros-os.org
Fri Feb 4 14:35:00 EST 2005
On Fri, 2005-02-04 at 14:21 -0500, Mark S. Miller wrote:
> Jonathan S. Shapiro wrote:
> > [...] In honor
> > of their proposer, I am contemplating (markm+, markm-, etc.), but I will
> > get over it. [...]
> "safe+", "safe-", etc would have one fewer letter. I don't know about you ;),
> but I also find these names to be clearer as well.
But in the tradition of academia it is considered important to attribute
ideas to their source... Also blame...
More information about the bitc-dev