Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> I thought SPARK was a paid (not free) license. Am I mistaken?

Similar model to Qt: permissive licensed open source version, with a commercial 'Pro' offering.

https://en.wikipedia.org/wiki/SPARK_(programming_language)

https://alire.ada.dev/transition_from_gnat_community.html



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: