Hacker News new | ask | show | jobs
by Davidbrcz 112 days ago
Just need to check if it's plain Ada or one specific profile or SPARK