GSS student report, Hilary Term 2011

Since Christmas I have had a peptic ulcer which, though cannot be described as severe, has been serious enough to cause substantial interference with my work. This term I had expected to finish a long essay for my reading course and produce at least some small results on datatype ornaments in dependently-typed programming, but the plans were not successfully carried out, frequently disrupted by abdominal pain over the past two months. I have decided to go back to Taiwan for about a month to try to get rid of this medical problem completely and intend to catch up with the expected progress as soon as I am back in a good enough condition.

--
A somewhat discouraging report...