Comment by lolinder
1 year ago
Koka is still pretty much one person's project [0], and it's not for lack of PRs [1]. To push Koka forward at the kind of pace that Richard wants to move would require forking it or commandeering it, and it makes total sense that neither option is as appealing as just starting fresh.
I think your second link meant to go to the open PRs... but anyway there are only 30 open PRs? That seems relatively low?
Oh, yes, I pasted the same link twice!
30 PRs that have been open for a very long time untouched. The point is getting stuff merged into Koka is not easy.