[bitc-dev] Primary type arithmetic

[Jonathan S. Shapiro]

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...

shap