Well, first, welcome to the specification of the Lingua Machina programming language!
The goal of this repository is to document the syntax and the implementation independent behaviors of the language.
The explanation of the syntax of the language is available here.
A draft about the module system can be found here.
Some examples can be found here.