/language-examples

Examples of common software engineering constructs written in Ada and SPARK

Primary LanguageAda

language-examples

Examples of common software engineering constructs written in Ada and SPARK