breck7
Every language with one should have a `documentation` keyword
Example:
https://pldb.com/languages/alumina.html: documentation https://docs.alumina-lang.net/
question: should every language have a documentation keyword? or should languages only have a documentation keyword if there is a know documentation source?
good question. a language should only have a documentation keyword if someone found a link to documentation. at some point we should also have a way to indicate that a search fro documentation was done but results were null (which is a very useful piece of information). that's a common pattern that i haven't standardized yet. maybe we need a special keyword to indicate that
Hi @breck7 , I am going to work on this issue. Just one question: As it seems we have to add docs link to language.scroll files too but as language.scroll files are in git ignore, so is this fine to forcefully add edited language.scroll files to git?
As it seems we have to add docs link to language.scroll files too
I'm sorry can you explain more? I'm not understanding.
fine to forcefully add edited language.scroll files to git?
No we should not do this. I think I wasn't clear in my comment above, sorry.
So @breck7 , we only need to add documentation keyword in pldb files, right?
documentation is just another field (a link to the documentation) just like creators or appeared or title.
Got it @breck7 , thanks a lot for the explanation. Will work on this.
Hi @breck7 , added documentation keyword to top 25 languages. Here is the PR #209