Dots = D Object-oriented Type System, a new public GitHub project
Daniel
Daniel
Sat Oct 22 20:56:46 UTC 2022
I'm starting a side project here:
https://github.com/enjoysmath/Dots
Post in issues forum if interested enough to join the study group
/ project or email me:
fruitfulapproach
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
developers.
More information about the Digitalmars-d-announce
mailing list