# language-examples
Examples of common software engineering constructs written in Ada and SPARK