By the way, I came to find Madoko while researching for Koka (it&#x27;s written in it): <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10131071" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10131071</a><p>Also, there&#x27;s this presentation: <a href="http:&#x2F;&#x2F;research.microsoft.com&#x2F;apps&#x2F;video&#x2F;default.aspx?id=238813" rel="nofollow">http:&#x2F;&#x2F;research.microsoft.com&#x2F;apps&#x2F;video&#x2F;default.aspx?id=238...</a>