This section specifies the Mars core language as precisely as possible.
This is the most formal specification of the language. It isn’t quite “rigorous”, but should be detailed enough to understand or implement the language unambiguously.
marsc
Lexical analysis
Enter search terms or a module, class or function name.