2 ms·Also I think Ada is more memory safe than both C++ and rust! (with SPARK!)by 3a2d29 4y agoAlso I think Ada is more memory safe than both C++ and rust! (with SPARK!)