A demo of best practices for open-source Ada/SPARK development
Primary LanguageAdaMIT LicenseMIT
No issues in this repository yet.