Update occam.hs