A statically and flexibly type-inferred scripting language with just-in-time compilation - View it on GitHub