One of the core team members mentioned in the article showed up on HN a couple weeks ago:
30 PRs that have been open for a very long time untouched. The point is getting stuff merged into Koka is not easy.
Sorry for not linking it, just wasn’t sure I wanted a Google Alert, but it seems likely at this point and I don’t mind. I’m somewhat undecided about Elm and Roc. Both are at least innovative.
He also shows up in the comments here https://news.ycombinator.com/item?id=42954103