Nú er svo sannanlega (sönnun eftirlátin lesanda) farið að sjá fyrir endann á þessu misseri. Í dag klárði ég síðasta forritunarverkefnið í Semantics of Computation. Kennsla í inngangskúrsinum að rökfræði stendur hins vegar út næstu viku. Nýtt misseri hefst svo 9.apríl.