3 ms·
Try ats[1]. It lets you prove safety for a lot of the places where you would need to resort to unsafe in rust. 1. http://www.ats-lang.org/ http://www.ats-lang
by moonchild 6y ago
Try ats[1]. It lets you prove safety for a lot of the places where you would need to resort to unsafe in rust.
1. http://www.ats-lang.org/ http://www.ats-lang.org/