Source code for Interaction Programming course lab sessions