[cies]

So was there MSFT funding? And is there now MSFT funding?

That it gets continued as a hobby project does not mean it was not funded at some point (and is no longer).

But I'm not sure about my statement; no source also (just remember reading it).

CORRECTION: as can be read rest of the thread, Koka is being funded by MSFT.

[anfelor]

Daan is employed full-time at MS Research and gets to spend this time on Koka (when he is not writing conference papers). There is currently no further funding or deployment of Koka within Microsoft that I know of (unlike mimalloc which seems to be used by Azure and Bing).

[cies]

Thanks for setting this straight!