Hacker News new | ask | show | jobs
by bluGill 586 days ago
The authors are aware of SPARK and are trying to bring that to C++.