Specifications formally online

I am proud to announce that Practical now has official specifications for the language. It is not, yet, up to date even with the compiler, but I’m making every effort that new features appear in the specs as soon as possible.

The specs are the official answer to “what is a valid Practical program”. If the compiler ends up violating the specs, it is, by definition, a bug in the compiler (though bugs in the specs are likely to be found this way, so at least at this early stage, that is not a definite statement).

The specs are published at https://specs.practical-pl.org. They are maintained using Sphynx and Restructured Text, and the source repository is at https://github.com/Practical/specs.