Exercises and notes for SDJ course