2 ms·Pointers in SPARK/Ada inspired by Rust ownership model4 points by atombender 7y agoatombender 7y agoNote: Original title is "Using Pointers in SPARK", which completely buries the lede. The article is specifically about Rust.