If there is something like a Wolfram Language, it better should be documented like other 'programming' languages. The core of the language is underspecified. Ev

If there is something like a Wolfram Language, it better should be documented like other 'programming' languages. The core of the language is underspecified. Even the small Scheme standard is much more rigorously specified, including an attempt on a formal semantics.