On Wednesday, 29 November 2017 at 16:57:36 UTC, H. S. Teoh wrote:
Doesn't this mean that we should rather focus our efforts on improving druntime instead of throwing out the baby with the bathwater with BetterC?
Exactly! We should be making a better D, not a better C. Mike
