Hacker News new | ask | show | jobs
by pjmlp 839 days ago
Only recently have compilers started catching up to Ada 2012 and SPARK, outside Ada Core, thus this will take a while.