Hacker News new | ask | show | jobs
by sgt 51 days ago
I would maybe not go that far, look at ADA, SPARK etc.