[vosper]

I like the way the code examples work: A live editor with documentation that shows up on the right hand side (click the Play with Hazel) button.

But does it any more than a live editor and type checker? Can you actually create a program that does something?

[disconcision]

we have ~ another year of basic type system and editor features prior to the 'doing something' phase. there are early-stage feature branches with stuff for web GUI programming & data science applications, but parts are awkward without in-progress basics like implicit polymorphism, a module system, and more sophisticated type inference.