My exercises for the Programs and Proofs lectures.