Mini Ada is a subset of the Ada Programming Language
with a focus on correctness and security in a language
that is comparable in size to the C language.

The Mini Ada subset is referred to as M in documentation.
Therefore references to the M language all refer to the
Mini Ada subset of the Ada programming language.

All Mini Ada programs can be compiled by a regular Ada Compiler.