Resources for a hands-on Erlang workshop