On Saturday, 31 January 2015 at 14:06:20 UTC, Piotrek wrote:and named "Mars" (Deimos is unfortunately already taken ).BTW, Mars is the name of the language, before people started calling it D (which stuck).
I know that, but the naming is the least important aspect of the proposal. We can refarm the unused "Mars" name or choose another one, maybe "Curiosity", or anything suitable ;)
Piotrek
