> It is written in SPARK and Ada, and is comprised of 100% free software.
I thought SPARK was a paid (not free) license. Am I mistaken?
Very cool project btw.
I thought SPARK was a paid (not free) license. Am I mistaken?
Very cool project btw.
Similar model to Qt: permissive licensed open source version, with a commercial 'Pro' offering.