koka

koka copied to clipboard

In the book, section "A Tour of Koka", subsection "Named and Scoped Handlers", this link to this directory in the repository seems to be rendered wrong. It points to https://koka-lang.github.io/koka/doc/samples.html#named_handlers, which doesn't exist.

Source:

### Named and Scoped Handlers { #sec-namedh; }

~ Todo
See `samples/named-handlers`.
~

I would have written a pull-request to fix this, but I don't understand the rendering mechanism and/or syntax yet, so I open this as an issue instead.