Hacker News new | ask | show | jobs
by Fabien_C 2890 days ago
For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com
1 comments
haskellandchill 2890 days ago
Thanks. I have been part-time trying to figure out how to install the beast on OSX for months.
link
Fabien_C 2890 days ago
The installer over there should be everything you need: https://www.adacore.com/download
link