iels

The sequential subset of Erlang supports eager evaluation, single assignment, and dynamic typing.