Update: 10/01 20:34 GMT
by U L
: It's also freely available under under the Apache 2.0 license
, and there's a language specification
available. It looks pretty interesting: it even has ML-style type inference (including e.g. deducing the types of higher order functions).