← Back to context Comment by johnisgood 8 hours ago If you want to learn Ada / SPARK, try https://learn.adacore.com/index.html. 0 comments johnisgood Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗