Mars Drafting Library - Official community driven library

[Piotrek via Digitalmars-d]

On Saturday, 31 January 2015 at 14:33:35 UTC, Vladimir Panteleev 
wrote:
> 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