5 ms·
For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com https://learn.adacore.com
by Fabien_C 8y ago
For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com https://learn.adacore.com
- haskellandchill 8y agoThanks. I have been part-time trying to figure out how to install the beast on OSX for months.
- Fabien_C 8y agoThe installer over there should be everything you need: https://www.adacore.com/download https://www.adacore.com/download