Documentation?

[TheLostLambda]

The official Koka std has a website with documentation for all of the functions in it — is there something similar available for this repository?

More broadly, does Koka have a documentation generator like rustdoc or pdoc3?

Even more broadly, on a language level, should documentation live only in comments, or is there any interest in implementing docstrings so that you could view docs in, for example, the REPL? The docstrings of Python and Julia can be quite nice if you want to quickly get some information about a function! I'm not sure what sort of metadata top-level val and fun constructs currently have in the language?

[TimWhiting]

The top level definitions definitely have metadata associated with them, and documentation can be generated. I'm not super familiar with the process though.