D enters Tiobe top 20

Doc Andrew x at x.com
Sun Nov 10 20:02:33 UTC 2019

On Sunday, 10 November 2019 at 10:53:38 UTC, RazvanN wrote:
> At UPB Bucharest we have discussed with a formal verification 
> professor and published a research project for a masters 
> student (2 years) where the goal is to implement a simple 
> solver for contracts in D.

Very cool! Do you know if there is a link or any publications 
(even if it's just a proposal) for the research?


More information about the Digitalmars-d mailing list