Hacker News Reader

For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com

Thanks. I have been part-time trying to figure out how to install the beast on OSX for months.

The installer over there should be everything you need: https://www.adacore.com/download