[...] 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.
-- Text by me above is hereby placed in the public domain
Cheers,
--MarkM_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
