Update Autumn2012.hs