2 ms·
Note: Original title is "Using Pointers in SPARK", which completely buries the lede. The article is specifically about Rust.
by atombender 7y ago
Note: Original title is "Using Pointers in SPARK", which completely buries the lede. The article is specifically about Rust.