GCD

...This sure is a busy week...

We finished off proving the program correctness for the binary search function, I have to say it was long: it took off one side of a blank line paper! I can never do anything like that requiring to write so much. As well, we got started on the greatest common divisor (GCD) that has been delayed for some time.

Ack! Two midterms in one week, I really couldn't concentrate on today's lecture as my mind is split between studying and working on the assignment, oh well... time to end it here then.