Re:2 years of fiddling with Rust – critical thoughts
by thesuperbigfrog on Sunday November 06, 2022 @06:20PM
(#33498698)
Specifically, the SPARK subset of Ada: https://learn.adacore.com/courses/intro-to-spark/index.html
[ Parent
| on HN ]
There are no comments on this comment yet.