My exercises for the Programs and Proofs lectures. - View it on GitHub