On Sunday, 15 March 2015 at 14:01:00 UTC, bearophile wrote:
Walter Bright:

I'd also prefer to get rid of /+ +/ comments, I thought they'd be more useful than they are.

I prefer to get rid of /* */ instead :-) Because /++/ can do things /**/ can't.

+1

And on my keyboard, /++/ is easier than /**/ :-)

Reply via email to