Code for the ErlangCamp teaching conference