← Back to context

Comment by Findecanor

1 day ago

I thought SPARK got dynamic memory allocation when it adopted Rust-style ownership and borrowing in 2014.

0 comments

Findecanor

Reply

No comments yet

Contribute on Hacker News ↗