[crvdgc]

I had expected to see a more programming language theory flavored formal specification, but it's actually just prose describing the language for industrial conformance purposes. I guess something is better than nothing, but still.

[steveklabnik]

That work has happened and continues to happen as well, but in the meantime, this is still quite useful.