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