A valid point, but there's another side floating around here unmentioned. I've lost count of the times I've had CS types sneer at my chosen profession (web development) as "child's play" and "not real programming". And yet for a task that is apparently infantile it's instructive to see how frequently it's done poorly by so-called "real" programmers.
The projects definitely look cool though. Looking at Koka now, in the original tab...
I have to report that I tried to mess around with the AGL example and got a perpetual loading screen. The concept seems good; the execution, lacking.
Maybe this is not supposed to be public?
[1] There are billions of links which are just plain <a href="X"></a>, so the fraction of the ones that do something weird (like this, or target="_blank") really break the browsing experience for people.
I can't.
What's the justification for not using plain links for this page, seriously?