News for hackers. Stuff that matters.

A comment on Jonathan Blow on Rust. Parent comment

Re:Jonathan Blow on Rust by 7thaccount on Sunday February 02, 2020 @09:56PM (#22221056)
I think Ada + Spark has something along these lines.

https://www.adacore.com/about-spark

[ Parent | on HN ]

There are no comments on this comment yet.