Notes and exercises from Structure and Interpretation of Computer Programs