An experimental typed variant of the Lua programming language.