Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing. - View it on GitHub