Hacker News new | ask | show | jobs
by johnisgood 148 days ago
Please use Ada / SPARK.