A compact programming language with first-class types that compiles to JavaScript.
A compact, general-purpose language with first-class types that compiles to JavaScript.