www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.announce - Dots = D Object-oriented Type System, a new public GitHub project

I'm starting a side project here:


Post in issues forum if interested enough to join the study group 
/ project or email me:


On gmail.

I personally think the kernel, whenever it gets coded out enough, 
is going to be blazingly fast.  After we tackle B. Pierce's first 
two books on proof assistants, I think we should get into 
Automated Theorem Proving, and there are some nice books out on 
that as well.

Thank you, D community, for providing awesome tools for software 
Oct 22 2022