logoalt Hacker News

sgt • today at 12:52 PM • 0 replies • view on HN

I would maybe not go that far, look at ADA, SPARK etc.