Some exercises from the book "Programs and Proofs" by Ilya Sergey