A Live Erlang widget