What's the plans for https://github.com/JetBrains/kotlin-spec?

Site Feedback
1

It seems like a more in depth documentation of the language. But at the same time last significant updates have been done years ago. The text is full of TODOs and outdated information (it says setters should refer to the backing field by using dollar as a prefix). The target site for the repository (http://jetbrains.github.io/kotlin-spec/) was updated years ago, even though fixes have been committed to the repository already.

What are the plans for this repository? Is this a language documentation draft, which will not be updated any more, or is this intended to be a reference for the language specification? Does it make sense to provide error reports/corrections (pull requests seem to be ignored).

2

A spec is a lot more than user docs, and it’s a huge undertaking to write a complete one. We have revived our efforts there, so some results may be visible this year. I think PRs will be welcome once we roll out the first massive update