An AngularJS workshop's code