Lecture tomorrow

In the lecture tomorrow I will spend a few minutes going through two problems from the oblig: implementation of Bezier curves and induction proofs. See you tomorrow.