some sample erlang programs written for the POPL course